Let's see if explicitly freeing the solver helps.
The free statement would need to be before magnifying glass.
- Adding some more unit tests. Magnifiertest needs more work
Merge pull request #16 from TeamAmalgam/amalgam-incremental

Incremental Multiobjective Solving. Fixes #7
Add logging/stats to IGIA. Expose magnifier stats in summary. More debug output for number solutions and time spent in magnifier
Merge pull request #18 from TeamAmalgam/amalgam-magnifying-glass-stats

Stats for magnifying glass
Add a command line flag to not build the solvers.
Add some descriptions to the build help.
Forgot to remove a print statement.
Changed MOO algorithm classes to use built-in java logging library
Merge pull request #20 from TeamAmalgam/amalgam-build-improvements

Allow build to skip building solvers.
Added format string to rest of the logging output; added Integer.valueOf method to properly instantiate objects as Integer
Merge pull request #21 from TeamAmalgam/amalgam-logging

Changed MOO algorithm classes to use built-in java logging library
Use StringBuilder to combine multiline logging, so we don't get logging metadata on every single line
Missed logging statement for IGIA
Merge pull request #22 from TeamAmalgam/amalgam-logging-fixes

Use StringBuilder to combine multiline logging
Merging template-refactor with master

Merge remote-tracking branch 'origin/template-method-refactor'

Conflicts:
	src/kodkod/multiobjective/algorithms/GuidedImprovementAlgorithm.java
	src/kodkod/multiobjective/algorithms/IncrementalGuidedImprovementAlgorithm.java