package theo

  1. Overview
  2. No Docs
A BDD library with theory support

Install 

dune-project
 Dependency

github.com Edit opam file Versions (1)

Authors

  1. J
    Jérôme Vouillon

Maintainers

  1. J
    Jérôme Vouillon

Sources

theo-0.1.0.tbz
sha256=bdaa3e26ec5ab84a6a378693cdc4d5ca3470b52c9a36715e7ccb6543100281ed
sha512=9d3ac06b7dc9f154ac987cc376af5725bdbce326f245d5036ff54412eeae9edbca7cbeec60dbec3451122396a74699c9befcd238b47d4492334b86730e178e76

Description

A Boolean Decision Diagram library implemented in OCaml, with built-in support for atomic constraints over specific theories (like strings and semantic versions).

Published: 21 Jul 2026

Dependencies (2)

  1. ocaml >= "4.14"
  2. dune >= "3.17"

Dev Dependencies (2)

  1. odoc with-doc
  2. qcheck with-test & >= "0.90"

Used by

None

Conflicts

None