scm2342/heurika
HeuRika
An agile, distributed, and secure alternative to the Certificate Authority system.
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
ocamlgraph graph implementation that I thought I wanted...
Just a backup of some stupid mastermind code in haskell
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