summaryrefslogtreecommitdiff
path: root/src/prop/README.minisat
blob: b3e101a88ff4d1a89de1fcbd44c07952aef12c6a (plain) 
1
2
3
4
5
6
7
8
9
10
11

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 cvc5::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