LeventErkok/sbv — Issue #34: make Z3 the default solver
Author: LeventErkok
Created: 2011-12-06 17:14:40+00:00
State: open

Once Z3 team releases v3.3; where they'll start supporting MacOSX natively.

Note that this is only a two line change in the library, but the real work is in hauling the test-suite to use Z3 and accordingly SMTLib2; this'll require adding a whole bunch of new gold-files and making sure all is well. So, easy but laborious task.