fixes to build structure, util classes, lots of fixes to Node and NodeBuilder. outst...
[cvc5.git] / src / prop / README.minisat
2009-11-17 Morgan Detersfrom meeting