summaryrefslogtreecommitdiff
path: root/math/minisat/DESCR
blob: df80bbabb5ebaa32b0890b98f4bc9050ed8e46e8 (plain) 
1
2

MiniSat is a minimalistic, industrial strength, open-source SAT solver,
developed to help researchers and developers alike to get started on SAT.
generated by cgit v1.2.3 (git 2.39.1) at 2025-02-04 00:35:21 +0000