git.unchartedbackwaters.co.uk Git - francis/stp.git/commit

]> git.unchartedbackwaters.co.uk Git - francis/stp.git/commit

author	trevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
	Tue, 13 Apr 2010 15:23:19 +0000 (15:23 +0000)
committer	trevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
	Tue, 13 Apr 2010 15:23:19 +0000 (15:23 +0000)
commit	ac47bff2f3cf578c3cd1bfad40581e326ad0ab6d
tree	db3da866807a875d03ffa5bb765d67c724601d23	tree \| snapshot
parent	7521ea6b2ca82d1f7fecb09baea3bec8dfcf9f8f	commit \| diff

If STP is compiled with minisat-core, add a command line option to enable simplifying minisat. This removes the need to separately compile a "simplifying minisat" version.

We now have two versions of STP: one for cryptominisat1/2 another for minisat/simplifying minisat.

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@670 e59a4935-1847-0410-ae03-e826735625c1

STP Constraint Solver.

RSS Atom

scripts/Makefile.common		diff \| blob \| history
scripts/configure		diff \| blob \| history
src/STPManager/STP.cpp		diff \| blob \| history
src/STPManager/UserDefinedFlags.h		diff \| blob \| history
src/main/main.cpp		diff \| blob \| history
src/sat/Makefile		diff \| blob \| history
src/sat/sat.h		diff \| blob \| history