fabian/minisat
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
Host of all major minisat versions with minimal fixes.
2 commits 6 branches 0 tags 174 KiB
Find a file
Fabian Posch 2ae9dac254 add unpatched version of 1.12b source
2024-08-09 15:30:34 +02:00
.gitignore initial commit 2024-08-09 15:17:14 +02:00
compile.sh add unpatched version of 1.12b source 2024-08-09 15:30:34 +02:00
Constraints.C add unpatched version of 1.12b source 2024-08-09 15:30:34 +02:00
Constraints.h add unpatched version of 1.12b source 2024-08-09 15:30:34 +02:00
Global.h add unpatched version of 1.12b source 2024-08-09 15:30:34 +02:00
Heap.h add unpatched version of 1.12b source 2024-08-09 15:30:34 +02:00
LICENSE add unpatched version of 1.12b source 2024-08-09 15:30:34 +02:00
Main.C add unpatched version of 1.12b source 2024-08-09 15:30:34 +02:00
Makefile add unpatched version of 1.12b source 2024-08-09 15:30:34 +02:00
Queue.h add unpatched version of 1.12b source 2024-08-09 15:30:34 +02:00
README add unpatched version of 1.12b source 2024-08-09 15:30:34 +02:00
README~ add unpatched version of 1.12b source 2024-08-09 15:30:34 +02:00
Solver.C add unpatched version of 1.12b source 2024-08-09 15:30:34 +02:00
Solver.h add unpatched version of 1.12b source 2024-08-09 15:30:34 +02:00
SolverTypes.h add unpatched version of 1.12b source 2024-08-09 15:30:34 +02:00
Sort.h add unpatched version of 1.12b source 2024-08-09 15:30:34 +02:00
VarOrder.h add unpatched version of 1.12b source 2024-08-09 15:30:34 +02:00

README 

MiniSat v1.12b
========================================

This is the last version where arbitrary boolean constraints are
supported. Later versions of MiniSat only supports clauses. However,
don't be discouraged; the improvements made in v1.13 and v1.14 are
quite easily back-ported to this version, so if you really need the
functionality provided by this release, go ahead and use it (and send
us the upgrades if you make them!)