]> git.unchartedbackwaters.co.uk Git - francis/stp.git/commit
projects / francis / stp.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fcff324) | patch
made some changes to the MiniSAT Makefiles
authorvijay_ganesh <vijay_ganesh@e59a4935-1847-0410-ae03-e826735625c1>
Tue, 11 Aug 2009 16:03:46 +0000 (16:03 +0000)
committervijay_ganesh <vijay_ganesh@e59a4935-1847-0410-ae03-e826735625c1>
Tue, 11 Aug 2009 16:03:46 +0000 (16:03 +0000)
commitf863978712caf71696279a37c9a600c94a92d80d
tree6e187a68ffee67f044045edfcedc586ddba40688tree | snapshot
parentfcff324584cbcbee7d6c6cc048d7b2b46c4fa8b4commit | diff
made some changes to the MiniSAT Makefiles

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@104 e59a4935-1847-0410-ae03-e826735625c1
AST/AST.h diff | blob | history
AST/ToSAT.cpp diff | blob | history
Makefile.in diff | blob | history
bin/run_bigarray_tests [new file with mode: 0755] blob
sat/core/Main.C [deleted file] blob | history
sat/core/Makefile diff | blob | history
sat/mtl/template.mk diff | blob | history
sat/simp/Main.C [deleted file] blob | history
sat/simp/Makefile diff | blob | history
sat/simp/SimpSolver.h diff | blob | history
sat/simp/depend.mk diff | blob | history
STP Constraint Solver.