Merge branch 'master' into improved-genetic

.dockerignore

.gitlab-ci.yml

Dockerfile

README.md

...-mquat-base/src/main/jastadd/solvers/ilp/ILPPrinting.jrag

.../main/java/de/tudresden/inf/st/mquat/utils/StopWatch.java

...n/java/de/tudresden/inf/st/mquat/benchmark/Benchmark.java

...va/de/tudresden/inf/st/mquat/benchmark/SolverFactory.java

jastadd-mquat-benchmark/src/main/resources/scenarios.json

...quat-solver-aco/src/main/java/ir/ac/ui/eng/ACOSolver.java

jastadd-mquat-solver-emfer/build.gradle

...d-mquat-solver-emfer/src/main/java/uniks/EMFeRSolver.java

...tudresden/inf/st/mquat/solving/genetic/GeneticSolver.java

...tudresden/inf/st/mquat/solving/ilp/AbstractILPSolver.java

...ava/de/tudresden/inf/st/mquat/solving/ilp/GLPKSolver.java

...a/de/tudresden/inf/st/mquat/solving/ilp/GurobiSolver.java

...e/tudresden/inf/st/mquat/solving/ilp/ILPDirectSolver.java

...tudresden/inf/st/mquat/solving/ilp/ILPExternalSolver.java

...n/java/de/tudresden/inf/st/mquat/solving/ilp/ILPMain.java

...ava/de/tudresden/inf/st/mquat/solving/ilp/SCIPSolver.java