| .. |
|
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
|
minisat: Remove template with gzFile specialization.
|
2017-11-25 19:48:26 -08:00 |
|
00_PATCH_typofixes.patch
|
Add minisat 00_PATCH_typofixes.patch
|
2017-03-27 14:37:00 +02:00 |
|
00_PATCH_warnings.patch
|
minisat: Record changes in patch
|
2024-08-17 10:01:25 +12:00 |
|
00_PATCH_wasm.patch
|
minisat: add missing include guard for WASI.
|
2020-06-21 21:26:21 +00:00 |
|
00_UPDATE.sh
|
minisat: Record changes in patch
|
2024-08-17 10:01:25 +12: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
|
minisat: Remove template with gzFile specialization.
|
2017-11-25 19:48:26 -08: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
|
minisat: Only define __STDC_XXX_MACROS if not already defined.
|
2017-11-25 19:48:26 -08: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
|
minisat: Only define __STDC_XXX_MACROS if not already defined.
|
2017-11-25 19:48:26 -08:00 |
|
SimpSolver.h
|
Updated minisat
|
2014-07-21 01:01:26 +02:00 |
|
Solver.cc
|
minisat: Only define __STDC_XXX_MACROS if not already defined.
|
2017-11-25 19:48:26 -08: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
|
snprintf
|
2024-08-16 04:30:36 +12:00 |
|
System.h
|
Remove use of <fpu_control.h> in minisat
|
2017-03-27 14:32:43 +02:00 |
|
Vec.h
|
minisat: Check for gcc
|
2024-08-16 04:30:37 +12:00 |
|
XAlloc.h
|
Added libs/minisat (copy of minisat git master)
|
2014-03-12 10:17:51 +01:00 |
e9f909aa25