summaryrefslogtreecommitdiff
path: root/src/prop/minisat/minisat.h
AgeCommit message (Expand)Author
2014-03-11Fix some Win32 and SMT-LIB compliance bugs discovered by David Cok.Morgan Deters
2013-10-08fixed uf proof with holes bugslianah
2013-09-13Documentation fixes, some code typo fixes, file perms, other minor things.Morgan Deters
2013-04-03* changing the bitblast-eager to bitblast on pre-registerDejan Jovanović
2012-11-26fixup for incremental solvingDejan Jovanović
2012-06-11Merge from quantifiers2-trunkmerge branch.Morgan Deters
2012-06-08Merge from decision branch (till r3663)Kshitij Bansal
2012-05-09* simplifying equality engine interfaceDejan Jovanović
2012-03-29Fixes a linking problem with the new SatSolverConstructor on Mac.Tim King
2012-03-28Some renaming and refactoring in SATDejan Jovanović
2012-03-26Global registry of SAT solvers, where they are registered at compile time. Th...Dejan Jovanović
2012-03-26More cleaning up.Dejan Jovanović
2012-03-26more datail from the build failureDejan Jovanović
2012-03-25moving minisat implementation into their respective directories (regular and bv)Dejan Jovanović
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback