TeamAmalgam/kodkod — pull request #27 by cpkleynhans (2013-07-09 21:19:37+00:00)
Title: Add Z3 wrapper as a SAT Solver.

Fixes #23

Reviewers: @AtulanZaman @joseph2625 @mhyee