Small bugfixes in our Kaluza integration
Add the Z3 and Z3-str solvers
Remove wrong version af Z3
Add correct (4.1.1) version of Z3
Make Z3 and Z3-str compile
Constraint writer changes
Merge branch 'feature-path-exploration' of github.com:cs-au-dk/Artemis into feature-path-exploration
Add Z3 contents
..
Finally add the Z3 files
Finish constraintwriter for SMT-LIB 2.0
Read results from Z3 solver and create solution objects
Remove Kaluza solver
Add a number of gitignore files
Add another gitignore file
Filter out temporary test files
Improve testing of solver
Update solver.py test script to accept individual runs of tests
Make the test harness python3 compatible
Add dryrun option