]> git.unchartedbackwaters.co.uk Git - francis/stp.git/commit
Add configuration options for selecting SAT solver, plus some related
authorsmccam <smccam@e59a4935-1847-0410-ae03-e826735625c1>
Mon, 12 Apr 2010 19:36:49 +0000 (19:36 +0000)
committersmccam <smccam@e59a4935-1847-0410-ae03-e826735625c1>
Mon, 12 Apr 2010 19:36:49 +0000 (19:36 +0000)
commit0e2b3fea653d867d95dbe8fa328432a144400c07
tree1ea5b0e0c42223baa43ac4d48781972696c1e5aa
parentb8c4cb515cf33acb98b2f7bb76d20fb249ecd5c7
Add configuration options for selecting SAT solver, plus some related
cleanups to how scripts and Makefiles include and invoke each other.
Patch from Peter Collingbourne.

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@668 e59a4935-1847-0410-ae03-e826735625c1
22 files changed:
clean-install.sh
scripts/Makefile.common
scripts/Makefile.in
scripts/configure
src/AST/Makefile
src/STPManager/Makefile
src/absrefine_counterexample/Makefile
src/c_interface/Makefile
src/extlib-abc/Makefile
src/extlib-abc/aig/cnf/Makefile
src/extlib-constbv/Makefile
src/main/Makefile
src/parser/Makefile
src/printer/Makefile
src/sat/core/Makefile
src/sat/cryptominisat/Makefile
src/sat/cryptominisat2/Makefile
src/sat/simp/Makefile
src/sat/unsound/Makefile
src/simplifier/Makefile
src/to-sat/Makefile
tests/c-api-tests/Makefile