scm2342/heurika
HeuRika
Public GitHub Catalog
Discovered Sep 24, 2026
scm2342 / ocamlsat
Toy sat solver in ocaml, that uses robdds (basically it results in (Terminal, true) if your formula does not have any solutions) - returns the bdd
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.
#2695036GitHub System ID
scm2342Organization / User
PublicVisibility
ActiveCatalog Status
More from scm2342
scm2342/graph
ocamlgraph graph implementation that I thought I wanted...
scm2342/mastermind
Just a backup of some stupid mastermind code in haskell
scm2342/Convergence
An agile, distributed, and secure alternative to the Certificate Authority system.