Name | Date | Size | #Lines | LOC | ||
---|---|---|---|---|---|---|
.. | 22-Mar-2020 | - | ||||
AbcApi.cpp | H A D | 22-Mar-2020 | 1.6 KiB | 60 | 11 | |
Alg.h | H A D | 22-Mar-2020 | 2.7 KiB | 85 | 39 | |
Alloc.h | H A D | 22-Mar-2020 | 4.3 KiB | 132 | 71 | |
Dimacs.h | H A D | 22-Mar-2020 | 3.2 KiB | 90 | 52 | |
Heap.h | H A D | 22-Mar-2020 | 4.6 KiB | 150 | 92 | |
IntTypes.h | H A D | 22-Mar-2020 | 1.8 KiB | 48 | 15 | |
LICENSE | H A D | 22-Mar-2020 | 1.1 KiB | 22 | 18 | |
MainSat.cpp | H A D | 22-Mar-2020 | 8.8 KiB | 198 | 104 | |
MainSimp.cpp | H A D | 22-Mar-2020 | 8.5 KiB | 207 | 111 | |
Map.h | H A D | 22-Mar-2020 | 6.6 KiB | 194 | 118 | |
Options.cpp | H A D | 22-Mar-2020 | 3.8 KiB | 94 | 56 | |
Options.h | H A D | 22-Mar-2020 | 11.8 KiB | 388 | 213 | |
ParseUtils.h | H A D | 22-Mar-2020 | 4 KiB | 123 | 63 | |
Queue.h | H A D | 22-Mar-2020 | 2.9 KiB | 70 | 34 | |
README | H A D | 22-Mar-2020 | 833 | 25 | 18 | |
SimpSolver.cpp | H A D | 22-Mar-2020 | 21.4 KiB | 721 | 483 | |
SimpSolver.h | H A D | 22-Mar-2020 | 9.5 KiB | 198 | 106 | |
Solver.cpp | H A D | 22-Mar-2020 | 29.8 KiB | 925 | 583 | |
Solver.h | H A D | 22-Mar-2020 | 21.4 KiB | 374 | 239 | |
SolverTypes.h | H A D | 22-Mar-2020 | 14.8 KiB | 408 | 244 | |
Sort.h | H A D | 22-Mar-2020 | 3.2 KiB | 99 | 52 | |
System.cpp | H A D | 22-Mar-2020 | 3.1 KiB | 96 | 53 | |
System.h | H A D | 22-Mar-2020 | 2.4 KiB | 61 | 24 | |
Vec.h | H A D | 22-Mar-2020 | 5.4 KiB | 131 | 68 | |
XAlloc.h | H A D | 22-Mar-2020 | 1.9 KiB | 46 | 16 | |
module.make | H A D | 22-Mar-2020 | 227 | 8 | 7 | |
pstdint.h | H A D | 22-Mar-2020 | 26.5 KiB | 814 | 515 |
README
1================================================================================ 2DIRECTORY OVERVIEW: 3 4mtl/ Mini Template Library 5utils/ Generic helper code (I/O, Parsing, CPU-time, etc) 6core/ A core version of the solver 7simp/ An extended solver with simplification capabilities 8README 9LICENSE 10 11================================================================================ 12BUILDING: (release version: without assertions, statically linked, etc) 13 14export MROOT=<minisat-dir> (or setenv in cshell) 15cd { core | simp } 16gmake rs 17cp minisat_static <install-dir>/minisat 18 19================================================================================ 20EXAMPLES: 21 22Run minisat with same heuristics as version 2.0: 23 24> minisat <cnf-file> -no-luby -rinc=1.5 -phase-saving=0 -rnd-freq=0.02 25