rhuizer/minisat
MiniSat is a minimalistic, open-source SAT solver, developed to help researchers and developers alike to get started on SAT.
Public GitHub Catalog
Discovered Sep 24, 2026
rhuizer / alleycat
An open source IBM AlleyCat 1984 implementation
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#1534838GitHub System ID
rhuizerOrganization / User
PublicVisibility
ActiveCatalog Status
More from rhuizer
rhuizer/bcsat
CMake based build for BCPackage -- http://users.ics.aalto.fi/tjunttil/bcsat/
rhuizer/netlist
A simple circuit library for easy generation of large complicated SAT queries or garbled circuits
rhuizer/sha1-sat
SAT instance generator for SHA-1