meteor/minisatp
The Pseudo-Boolean Solver MiniSat+
Public GitHub Catalog
Discovered Oct 3, 2026
meteor / minisat
A minimalistic and high-performance SAT solver
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#26362392GitHub System ID
meteorOrganization / User
PublicVisibility
ActiveCatalog Status
More from meteor
meteor/minisat-package
Meteor package for emscriptened minisat
meteor/minisat-emscripten
Share your research online by compiling it to JavaScript!
meteor/mosql
MongoDB → PostgreSQL streaming replication