This is MiniSAT 2.2.0, downloaded from here:
http://minisat.se/MiniSat.html
on 11 July 2010.
The code has been modified to put everything in the CVC4::MiniSat
namespace. The build process has been modified. Other parts have
been modified to serve CVC4's purposes.
-- Morgan Deters <mdeters@cs.nyu.edu> Sun, 07 Nov 2010 22:27:09 -0500
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback