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
Added Solution Deduplicator and Overlapped GIA
Populate random_seed for new MiniSat solvers.
Merge branch 'master' into amalgam-solution-deduplicator

Conflicts:
	tests/kodkod/multiobjective/EndtoEnd/TestSuite.java
Removed all step counter stuff from OGIA
Allow Exceptions to be passed to thread waiting for solutions.
Rethrow exceptions that are placed in queue.
Added global exclusion constraint for OGIA
Made sure that all starting points are unique for Overlapped GIA
Merge pull request #37 from TeamAmalgam/no-hang

Allow exceptions to propogate from solver thread to main thread.
Added skeleton for Checkpoints.
Basic checkpointing for Z3 with a simple test.
Throw IllegalStateException when no checkpoints.
Added documentation to the CheckpointableSolver interface.
Need to null out the checkpoint stack on free.
Need to specify sat tactic for Z3 solver.
Add checkpointing to Bool2CNFTranslator.
CheckpointableSolver needs to be a public interface.
Added checkpointing to translations and solver.