TeamAmalgam/kodkod — pull request #20 by cpkleynhans (2013-07-04 20:07:23+00:00)
Title: Allow build to skip building solvers.

Currently building kodkod also builds all the solvers.
This pull request adds a --no-solvers flag to the waf options that skips building the solvers.

Reviewers: @mhyee @joseph2625 @AtulanZaman