]> git.unchartedbackwaters.co.uk Git - francis/stp.git/commit
projects / francis / stp.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d7534de) | patch
Fix simplifying minisat. Previously when the SIMP flag was set, simplifying minisat...
authortrevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Wed, 16 Dec 2009 05:33:31 +0000 (05:33 +0000)
committertrevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Wed, 16 Dec 2009 05:33:31 +0000 (05:33 +0000)
commit87ecd8442f870bb2328abdd133bd9d7913428f8c
treee68b96c7a3fc2628ef86a9609295da5e46808d7etree | snapshot
parentd7534de2f31ae1e04bf61648ff461ef1a0c83ec4commit | diff
Fix simplifying minisat. Previously when the SIMP flag was set, simplifying minisat would not be used. The simplifying solver derived from Minisat, but the solve() method etc. of the base class were not virtual.

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@515 e59a4935-1847-0410-ae03-e826735625c1
src/sat/core/Solver.h diff | blob | history
src/sat/simp/SimpSolver.h diff | blob | history
STP Constraint Solver.