projects / satlib.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(initial) | patch
Initial checkin of SAT solvers
authorbdemsky <bdemsky@uci.edu>
Thu, 25 Dec 2014 00:52:58 +0000 (16:52 -0800)
committerbdemsky <bdemsky@uci.edu>
Thu, 25 Dec 2014 00:52:58 +0000 (16:52 -0800)
commit2a2773f34377209db0fa76baf83c62d55b9b3110
tree0afba4d51c95f097d1b2875aec7b065a3bb83a9ctree | snapshot
Initial checkin of SAT solvers
79 files changed:
glucose-syrup/Changelog [new file with mode: 0644] blob
glucose-syrup/LICENCE [new file with mode: 0644] blob
glucose-syrup/README [new file with mode: 0644] blob
glucose-syrup/core/BoundedQueue.h [new file with mode: 0644] blob
glucose-syrup/core/Constants.h [new file with mode: 0644] blob
glucose-syrup/core/Dimacs.h [new file with mode: 0644] blob
glucose-syrup/core/Makefile [new file with mode: 0644] blob
glucose-syrup/core/Solver.cc [new file with mode: 0644] blob
glucose-syrup/core/Solver.h [new file with mode: 0644] blob
glucose-syrup/core/SolverTypes.h [new file with mode: 0644] blob
glucose-syrup/mtl/Alg.h [new file with mode: 0644] blob
glucose-syrup/mtl/Alloc.h [new file with mode: 0644] blob
glucose-syrup/mtl/Clone.h [new file with mode: 0644] blob
glucose-syrup/mtl/Heap.h [new file with mode: 0644] blob
glucose-syrup/mtl/IntTypes.h [new file with mode: 0644] blob
glucose-syrup/mtl/Map.h [new file with mode: 0644] blob
glucose-syrup/mtl/Queue.h [new file with mode: 0644] blob
glucose-syrup/mtl/Sort.h [new file with mode: 0644] blob
glucose-syrup/mtl/Vec.h [new file with mode: 0644] blob
glucose-syrup/mtl/XAlloc.h [new file with mode: 0644] blob
glucose-syrup/mtl/config.mk [new file with mode: 0644] blob
glucose-syrup/mtl/template.mk [new file with mode: 0644] blob
glucose-syrup/parallel/ClausesBuffer.cc [new file with mode: 0644] blob
glucose-syrup/parallel/ClausesBuffer.h [new file with mode: 0644] blob
glucose-syrup/parallel/Main.cc [new file with mode: 0644] blob
glucose-syrup/parallel/Makefile [new file with mode: 0644] blob
glucose-syrup/parallel/MultiSolvers.cc [new file with mode: 0644] blob
glucose-syrup/parallel/MultiSolvers.h [new file with mode: 0644] blob
glucose-syrup/parallel/ParallelSolver.cc [new file with mode: 0644] blob
glucose-syrup/parallel/ParallelSolver.h [new file with mode: 0644] blob
glucose-syrup/parallel/SharedCompanion.cc [new file with mode: 0644] blob
glucose-syrup/parallel/SharedCompanion.h [new file with mode: 0644] blob
glucose-syrup/parallel/SolverCompanion.cc [new file with mode: 0644] blob
glucose-syrup/parallel/SolverCompanion.h [new file with mode: 0644] blob
glucose-syrup/parallel/SolverConfiguration.cc [new file with mode: 0644] blob
glucose-syrup/parallel/SolverConfiguration.h [new file with mode: 0644] blob
glucose-syrup/simp/Main.cc [new file with mode: 0644] blob
glucose-syrup/simp/Makefile [new file with mode: 0644] blob
glucose-syrup/simp/SimpSolver.cc [new file with mode: 0644] blob
glucose-syrup/simp/SimpSolver.h [new file with mode: 0644] blob
glucose-syrup/utils/Makefile [new file with mode: 0644] blob
glucose-syrup/utils/Options.cc [new file with mode: 0644] blob
glucose-syrup/utils/Options.h [new file with mode: 0644] blob
glucose-syrup/utils/ParseUtils.h [new file with mode: 0644] blob
glucose-syrup/utils/System.cc [new file with mode: 0644] blob
glucose-syrup/utils/System.h [new file with mode: 0644] blob
lingeling/build.sh [new file with mode: 0755] blob
lingeling/code/COPYING [new file with mode: 0644] blob
lingeling/code/VERSION [new file with mode: 0644] blob
lingeling/code/configure.sh [new file with mode: 0755] blob
lingeling/code/lglbnr.c [new file with mode: 0644] blob
lingeling/code/lgldimacs.c [new file with mode: 0644] blob
lingeling/code/lgldimacs.h [new file with mode: 0644] blob
lingeling/code/lglib.c [new file with mode: 0644] blob
lingeling/code/lglib.h [new file with mode: 0644] blob
lingeling/code/lglmain.c [new file with mode: 0644] blob
lingeling/code/makefile.in [new file with mode: 0644] blob
lingeling/code/mkconfig.sh [new file with mode: 0755] blob
lingeling/license.txt [new file with mode: 0644] blob
lingeling/readme.txt [new file with mode: 0644] blob
zchaff64/Makefile [new file with mode: 0644] blob
zchaff64/README [new file with mode: 0644] blob
zchaff64/SAT.h [new file with mode: 0644] blob
zchaff64/cnf_stats.cpp [new file with mode: 0644] blob
zchaff64/run_till_fix.pl [new file with mode: 0755] blob
zchaff64/sat_solver.cpp [new file with mode: 0644] blob
zchaff64/zchaff_base.cpp [new file with mode: 0644] blob
zchaff64/zchaff_base.h [new file with mode: 0644] blob
zchaff64/zchaff_clsgen.h [new file with mode: 0644] blob
zchaff64/zchaff_dbase.cpp [new file with mode: 0644] blob
zchaff64/zchaff_dbase.h [new file with mode: 0644] blob
zchaff64/zchaff_header.h [new file with mode: 0644] blob
zchaff64/zchaff_solver.cpp [new file with mode: 0644] blob
zchaff64/zchaff_solver.h [new file with mode: 0644] blob
zchaff64/zchaff_utils.cpp [new file with mode: 0644] blob
zchaff64/zchaff_version.h [new file with mode: 0644] blob
zchaff64/zchaff_wrapper.wrp [new file with mode: 0644] blob
zchaff64/zminimal.cpp [new file with mode: 0644] blob
zchaff64/zverify_df.cpp [new file with mode: 0644] blob
SAT Solver Library