scm2342/heurika
HeuRika
ocamlgraph graph implementation that I thought I wanted...
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
HeuRika
Just a backup of some stupid mastermind code in haskell
An agile, distributed, and secure alternative to the Certificate Authority system.
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