Merge remote-tracking branch 'emfer/master' into develop

.gitignore

LICENSE

jastadd-mquat-benchmark/build.gradle

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

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

jastadd-mquat-solver-emfer/.gitignore

jastadd-mquat-solver-emfer/build.gradle

...tudresden.inf.st.mquat.solving.SimpleHandwrittenTest.html

...s/de.tudresden.inf.st.mquat.solving.SimpleSolverTest.html

...-solver-emfer/build/reports/tests/test/css/base-style.css

...mquat-solver-emfer/build/reports/tests/test/css/style.css

...dd-mquat-solver-emfer/build/reports/tests/test/index.html

...-mquat-solver-emfer/build/reports/tests/test/js/report.js

...ests/test/packages/de.tudresden.inf.st.mquat.solving.html

....tudresden.inf.st.mquat.solving.SimpleHandwrittenTest.xml

...ST-de.tudresden.inf.st.mquat.solving.SimpleSolverTest.xml

...at-solver-emfer/build/test-results/test/binary/output.bin

...olver-emfer/build/test-results/test/binary/output.bin.idx

...t-solver-emfer/build/test-results/test/binary/results.bin

jastadd-mquat-solver-emfer/build/tmp/jar/MANIFEST.MF