…
..
00_PATCH_mkLit_default_arg.patch	…
00_PATCH_no_fpu_control.patch	…
00_PATCH_remove_zlib.patch	…
00_PATCH_typofixes.patch	…
00_UPDATE.sh	…
Alg.h	…
Alloc.h	…
Dimacs.h	…
Heap.h	…
IntMap.h	…
IntTypes.h	…
LICENSE	…
Map.h	…
Options.cc	…
Options.h	…
ParseUtils.h	…
Queue.h	…
Rnd.h	…
SimpSolver.cc	…
SimpSolver.h	…
Solver.cc	…
Solver.h	…
SolverTypes.h	…
Sort.h	…
System.cc	…
System.h	…
Vec.h	…
XAlloc.h	…