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

This is MiniSAT 2-070721, downloaded from here:

  http://minisat.se/MiniSat.html

on 10 November 2009.

The code has been modified slightly to put everything in the CVC4::MiniSat namespace.
The build process has been modified.

-- Morgan Deters <mdeters@cs.nyu.edu>  Tue, 10 Nov 2009 07:16:14 -0500
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback