]> git.unchartedbackwaters.co.uk Git - francis/stp.git/commit
projects / francis / stp.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1f82134) | patch
Improvement. Exit-after-cnf would exit after sending the CNF to the SAT solver. We...
authortrevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Wed, 11 May 2011 04:23:04 +0000 (04:23 +0000)
committertrevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Wed, 11 May 2011 04:23:04 +0000 (04:23 +0000)
commit823166d849e5117762d8b6a7457339ae78c4a452
tree4d412373ee88ea289e7bc5c5c3f885c20118c149tree | snapshot
parent1f821341f6abbc55d4ee6c2e0cf8c1a92a4b0454commit | diff
Improvement. Exit-after-cnf would exit after sending the CNF to the SAT solver. We used to read the CNF back out of the SAT solver, but don't any longer, so there's no reason to do this.

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@1328 e59a4935-1847-0410-ae03-e826735625c1
src/to-sat/AIG/ToSATAIG.cpp diff | blob | history
STP Constraint Solver.