jwaldmann/ersatz-minisatapi
Public repository.
Public GitHub Catalog
Discovered Sep 26, 2026
jwaldmann / minisat-haskell-bindings
Haskell-Bindings to MiniSat
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.
#7692432GitHub System ID
jwaldmannOrganization / User
PublicVisibility
ActiveCatalog Status
More from jwaldmann
jwaldmann/graphviz
clone of http://hub.darcs.net/ivanm/graphviz
jwaldmann/mueval
A secure sandboxed Haskell interpreter for pure function evaluation
jwaldmann/sat-life
Public repository.