Added the Z3 bindings to libs.
Added the Z3 library as a classpath dependency.
Added a wrapper for Z3.
Some simple test cases for the Z3 wrapper.
Add Z3 being available as a precondition for the tests.
Need to fail availability check on missing class def.
Added a more complicated 3 variable test for Z3.
Add an incremental test and cleanup another test.
Added tests for error behaviour.
Added some information about getting Z3 to work.
Added some more tests for error conditions.
Merge pull request #27 from TeamAmalgam/amalgam-z3

Add Z3 wrapper as a SAT Solver.