package bdd

  1. Overview
  2. Docs
Quick implementation of a Binary Decision Diagrams (BDD) library for OCaml

Install

Dune Dependency

github.com Edit opam file Versions (2)

Authors

  1. J
    Jean-Christophe Filliatre

Maintainers

  1. J
    Jean-Christophe Filliatre

Sources

bdd-0.3.tar.gz
sha256=678e591c9b5ee7cd310589c433828c266204f7c260627aea5e5d12798ec9c3c0
md5=56834a743f15b1569712125660aa4af4

doc/index.html

bdd

API

Library bdd

  • Bdd Binary Decision Diagrams (BDDs)
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct
On This Page
  1. API
    1. Library bdd