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.
Merge pull request #31 from TeamAmalgam/amalgam-bounded-gia

Bounded Guided Improvement Algorithm. Fixes #25
Rename unit test to match convention. Properly implement the without symmetry breaking test
Merge pull request #35 from TeamAmalgam/amalgam-fix-pgia-unit-test

Rename unit test to match convention. Properly implement the without symmetry breaking test
Allow Exceptions to be passed to thread waiting for solutions.
Rethrow exceptions that are placed in queue.
Merge pull request #37 from TeamAmalgam/no-hang

Allow exceptions to propogate from solver thread to main thread.