Registry / other / minisat-master-keying

minisat-master-keying

JSON →
library2.3.6vcpkgunverified

A minimalistic high-performance SAT solver. This is a modernized, cross-platform, CMake-enabled fork of the original MiniSat.

other
vcpkg install minisat-master-keying
INSTALL
IMPORT
SIG · MINISAT-MASTER-KEY
M
minisat-master-keying
othercppv2.3.6
harness data pending
Install & Compatibility
Where this runs

No compatibility data collected yet for this library.

Code
Verified usage

Verified import paths — ran on the pinned version, not inferred.

minisat/core/Solver.h
✓ #include <minisat/core/Solver.h>

Create a SAT solver instance and solve a simple problem

#include <minisat/core/Solver.h> int main() { Minisat::Solver solver; auto v = solver.newVar(); solver.addClause(Minisat::mkLit(v)); bool sat = solver.solve(); return 0; }
Debug
Known issues

No known issues recorded.

Upgrade
Version history
2.3.6latest on vcpkg
Audit
Dependencies

No dependency data recorded yet.

Agent activity
5 hits · last 30 days
node
4
Amazon
1
Resources

No resource links recorded.

minisat-master-keying — pip install minisat-master-keying · libregistry