checklist.day

MiniSat

JSON →
library 2.3.6 ·cpp
✓ verified Jun 17, 2026
other

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

API endpoints

full doc /v1/registry/minisat-master-keying
install /v1/registry/minisat-master-keying/install