| .. |
|
Alg.h
|
Added libs/minisat (copy of minisat git master)
|
2014-03-12 10:17:51 +01:00 |
|
Alloc.h
|
Added libs/minisat (copy of minisat git master)
|
2014-03-12 10:17:51 +01:00 |
|
Dimacs.h
|
Added libs/minisat (copy of minisat git master)
|
2014-03-12 10:17:51 +01:00 |
|
Heap.h
|
Added libs/minisat (copy of minisat git master)
|
2014-03-12 10:17:51 +01:00 |
|
IntMap.h
|
Added libs/minisat (copy of minisat git master)
|
2014-03-12 10:17:51 +01:00 |
|
IntTypes.h
|
Added libs/minisat (copy of minisat git master)
|
2014-03-12 10:17:51 +01:00 |
|
LICENSE
|
Added libs/minisat (copy of minisat git master)
|
2014-03-12 10:17:51 +01:00 |
|
Map.h
|
Added libs/minisat (copy of minisat git master)
|
2014-03-12 10:17:51 +01:00 |
|
Options.cc
|
Added libs/minisat (copy of minisat git master)
|
2014-03-12 10:17:51 +01:00 |
|
Options.h
|
Added libs/minisat (copy of minisat git master)
|
2014-03-12 10:17:51 +01:00 |
|
ParseUtils.h
|
Added libs/minisat (copy of minisat git master)
|
2014-03-12 10:17:51 +01:00 |
|
Queue.h
|
Added libs/minisat (copy of minisat git master)
|
2014-03-12 10:17:51 +01:00 |
|
Rnd.h
|
Added libs/minisat (copy of minisat git master)
|
2014-03-12 10:17:51 +01:00 |
|
SimpSolver.cc
|
Added libs/minisat (copy of minisat git master)
|
2014-03-12 10:17:51 +01:00 |
|
SimpSolver.h
|
Added libs/minisat (copy of minisat git master)
|
2014-03-12 10:17:51 +01:00 |
|
Solver.cc
|
- libs/minisat/Solver.cc: insert spaces between string and PRIu64 literal, otherwise c++11-compliant compilers will bail out due to user-defined literals (minisat bug tracker #13).
|
2014-03-12 14:15:53 +01:00 |
|
Solver.h
|
Added libs/minisat (copy of minisat git master)
|
2014-03-12 10:17:51 +01:00 |
|
SolverTypes.h
|
Added libs/minisat (copy of minisat git master)
|
2014-03-12 10:17:51 +01:00 |
|
Sort.h
|
Added libs/minisat (copy of minisat git master)
|
2014-03-12 10:17:51 +01:00 |
|
System.cc
|
- libs/minisat/System.cc: fix definition/declaration mismatch for Minisat::memUsedPeak() and mark unused parameters as unused to fix compiler error+warning. (minisat bug tracker issues #1, #9, #10.)
|
2014-03-12 14:15:25 +01:00 |
|
System.h
|
Added libs/minisat (copy of minisat git master)
|
2014-03-12 10:17:51 +01:00 |
|
UPDATE.sh
|
Added libs/minisat (copy of minisat git master)
|
2014-03-12 10:17:51 +01:00 |
|
Vec.h
|
Added libs/minisat (copy of minisat git master)
|
2014-03-12 10:17:51 +01:00 |
|
XAlloc.h
|
Added libs/minisat (copy of minisat git master)
|
2014-03-12 10:17:51 +01:00 |
