Miodrag Milanovic 4b5fb15579 use env for bash		2026-06-05 09:18:05 +02:00
..
00_PATCH_mkLit_default_arg.patch
00_PATCH_no_fpu_control.patch
00_PATCH_remove_zlib.patch
00_PATCH_typofixes.patch
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	use env for bash	2026-06-05 09:18:05 +02:00
Alg.h
Alloc.h
CMakeLists.txt	Migrate build system to CMake	2026-06-03 08:58:10 +00:00
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	snprintf	2024-08-16 04:30:36 +12:00
System.h
Vec.h	minisat: Check for gcc	2024-08-16 04:30:37 +12:00
XAlloc.h