Merge branch 'master' of gitlab.enst.fr:mbe-tools/TTool

build.txt

libs/com.microsoft.z3.jar

rundse/build.gradle

rundse/manifest.txt

src/main/java/tmltranslator/dsez3engine/InputInstance.java

...ain/java/tmltranslator/dsez3engine/OptimizationModel.java

src/main/java/ui/ActionPerformer.java

src/main/java/ui/JToolBarMainTurtle.java

src/main/java/ui/MainGUI.java

src/main/java/ui/ModeManager.java

src/main/java/ui/TGUIAction.java

src/main/java/ui/util/DefaultText.java

src/main/java/ui/util/IconManager.java

src/main/resources/ui/util/dse_z3.png

tmltranslator/build.gradle

tmltranslator/manifest.txt

ttool-cli/build.gradle

ttool-cli/manifest.txt

ttool/META-INF/MANIFEST.MF

ttool/build.gradle