Updated minisat
authorClifford Wolf <clifford@clifford.at>
Sun, 20 Jul 2014 23:01:26 +0000 (01:01 +0200)
committerClifford Wolf <clifford@clifford.at>
Sun, 20 Jul 2014 23:01:26 +0000 (01:01 +0200)
commit92c9403249ba59e5f57b2adb8b8b0141c2c63f26
tree3411c3c17b9b291aa59c2236e5510ac64a17a96d
parentc6b3f4e0896a4447bad94d816c8677d01cea1e75
Updated minisat
20 files changed:
libs/minisat/Alg.h
libs/minisat/Alloc.h
libs/minisat/Dimacs.h
libs/minisat/Heap.h
libs/minisat/IntMap.h
libs/minisat/Map.h
libs/minisat/Options.cc
libs/minisat/Options.h
libs/minisat/ParseUtils.h
libs/minisat/Queue.h
libs/minisat/Rnd.h
libs/minisat/SimpSolver.cc
libs/minisat/SimpSolver.h
libs/minisat/Solver.cc
libs/minisat/Solver.h
libs/minisat/SolverTypes.h
libs/minisat/Sort.h
libs/minisat/System.cc
libs/minisat/System.h
libs/minisat/Vec.h