rhuizer/bcsat
CMake based build for BCPackage -- http://users.ics.aalto.fi/tjunttil/bcsat/
Public GitHub Catalog
Discovered Oct 14, 2026
rhuizer / minisat
MiniSat is a minimalistic, open-source SAT solver, developed to help researchers and developers alike to get started on SAT.
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.
#37340095GitHub System ID
rhuizerOrganization / User
PublicVisibility
ActiveCatalog Status
More from rhuizer
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
rhuizer/nids-mixer
A NS3 based TCP stream mixer for NIDS dataset generation.