module de.renew.faformalism {
    // Provided Packages
    exports de.renew.faformalism;
    exports de.renew.faformalism.shadow;
    exports de.renew.faformalism.util;

    // Renew Dependencies
    requires transitive de.renew.formalism;
    requires de.renew.simulator.impl;
    requires de.renew.simulatorontology;

    // Third-Party Dependencies
    requires ch.qos.reload4j;
    requires java.desktop;
}