malie/haskell-picosat
Haskell bindings for PicoSAT solver
Public GitHub Catalog
Discovered Oct 24, 2026
malie / ersatz
A monad for interfacing with external SAT solvers
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.
#42973795GitHub System ID
malieOrganization / User
PublicVisibility
ActiveCatalog Status
More from malie
malie/picologic
Logic expressions for PicoSAT solver
malie/cudd_rust
CUDD bindings for Rust
malie/ad-neuro
Public repository.