theoversion Documentation on ocaml.org
A BDD library with theory support
A Boolean Decision Diagram library implemented in OCaml, with built-in support for atomic constraints over specific theories (like strings and semantic versions).
| Author | Jérôme Vouillon |
|---|---|
| License | MIT |
| Published | |
| Homepage | https://github.com/vouillon/theo |
| Issue Tracker | https://github.com/vouillon/theo/issues |
| Documentation | https://vouillon.github.io/theo/ |
| Maintainer | Jérôme Vouillon |
| Dependencies | |
| Source [http] | https://github.com/vouillon/theo/releases/download/0.1.0/theo-0.1.0.tbz sha256=bdaa3e26ec5ab84a6a378693cdc4d5ca3470b52c9a36715e7ccb6543100281ed sha512=9d3ac06b7dc9f154ac987cc376af5725bdbce326f245d5036ff54412eeae9edbca7cbeec60dbec3451122396a74699c9befcd238b47d4492334b86730e178e76 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/theo/theo.0.1.0/opam |
No package is dependent
