Clifford Wolf 58ee8e3b8a Add minisat 00_PATCH_typofixes.patch		2017-03-27 14:37:00 +02:00
..
00_PATCH_mkLit_default_arg.patch	Removed Minisat dependency on zlib	2014-07-25 03:41:54 +02:00
00_PATCH_no_fpu_control.patch	Remove use of <fpu_control.h> in minisat	2017-03-27 14:32:43 +02:00
00_PATCH_remove_zlib.patch	Removed Minisat dependency on zlib	2014-07-25 03:41:54 +02:00
00_PATCH_typofixes.patch	Add minisat 00_PATCH_typofixes.patch	2017-03-27 14:37:00 +02:00
00_UPDATE.sh	Add minisat 00_PATCH_typofixes.patch	2017-03-27 14:37:00 +02:00
Alg.h	Updated minisat	2014-07-21 01:01:26 +02:00
Alloc.h	Updated minisat	2014-07-21 01:01:26 +02:00
Dimacs.h	Updated minisat	2014-07-21 01:01:26 +02:00
Heap.h	Updated minisat	2014-07-21 01:01:26 +02:00
IntMap.h	Updated minisat	2014-07-21 01:01:26 +02: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	Updated minisat	2014-07-21 01:01:26 +02:00
Options.cc	Updated minisat	2014-07-21 01:01:26 +02:00
Options.h	Updated minisat	2014-07-21 01:01:26 +02:00
ParseUtils.h	Removed Minisat dependency on zlib	2014-07-25 03:41:54 +02:00
Queue.h	Updated minisat	2014-07-21 01:01:26 +02:00
Rnd.h	Updated minisat	2014-07-21 01:01:26 +02:00
SimpSolver.cc	Updated minisat	2014-07-21 01:01:26 +02:00
SimpSolver.h	Updated minisat	2014-07-21 01:01:26 +02:00
Solver.cc	Updated minisat	2014-07-21 01:01:26 +02:00
Solver.h	Corrected spelling mistakes found by lintian	2014-09-06 08:47:06 +02:00
SolverTypes.h	Updated minisat	2014-07-21 01:01:26 +02:00
Sort.h	Updated minisat	2014-07-21 01:01:26 +02:00
System.cc	Remove use of <fpu_control.h> in minisat	2017-03-27 14:32:43 +02:00
System.h	Remove use of <fpu_control.h> in minisat	2017-03-27 14:32:43 +02:00
Vec.h	Updated minisat	2014-07-21 01:01:26 +02:00
XAlloc.h	Added libs/minisat (copy of minisat git master)	2014-03-12 10:17:51 +01:00