Clifford Wolf caad497839 Remove added newline (by re-running minisat 00_UPDATE.sh) ... Signed-off-by: Clifford Wolf <clifford@clifford.at>		2019-05-08 11:26:58 +02:00
..
00_PATCH_mkLit_default_arg.patch
00_PATCH_no_fpu_control.patch
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_UPDATE.sh	minisat: Make update script executable.	2017-11-25 19:48:26 -08:00
Alg.h
Alloc.h
Dimacs.h	minisat: Remove template with gzFile specialization.	2017-11-25 19:48:26 -08:00
Heap.h
IntMap.h
IntTypes.h
LICENSE
Map.h
Options.cc	minisat: Only define __STDC_XXX_MACROS if not already defined.	2017-11-25 19:48:26 -08:00
Options.h
ParseUtils.h
Queue.h
Rnd.h
SimpSolver.cc	minisat: Only define __STDC_XXX_MACROS if not already defined.	2017-11-25 19:48:26 -08:00
SimpSolver.h
Solver.cc	minisat: Only define __STDC_XXX_MACROS if not already defined.	2017-11-25 19:48:26 -08:00
Solver.h
SolverTypes.h
Sort.h
System.cc	minisat: Only define __STDC_XXX_MACROS if not already defined.	2017-11-25 19:48:26 -08:00
System.h
Vec.h	Remove added newline (by re-running minisat 00_UPDATE.sh)	2019-05-08 11:26:58 +02:00
XAlloc.h