An OCaml library for binary decision diagrams (bdd)
Vous ne pouvez pas sélectionner plus de 25 sujets Les noms de sujets doivent commencer par une lettre ou un nombre, peuvent contenir des tirets ('-') et peuvent comporter jusqu'à 35 caractères.
zapashcanon 9096ae7ec7
fix build, new dune-project
il y a 1 an
src add tests, fix some algorithms il y a 1 an
test add tests, fix some algorithms il y a 1 an
.build.yml fix build, new dune-project il y a 1 an
.gitignore clean code and repo layout il y a 1 an
CHANGELOG.md first commit il y a 1 an
LICENSE.md remove a lot of stuff, clean code il y a 1 an
README.md remove a lot of stuff, clean code il y a 1 an
bdd.opam fix build, new dune-project il y a 1 an
dune-project fix build, new dune-project il y a 1 an

README.md

bdd

bdd is an OCaml library for Binary Decision Diagram

Change Log

See CHANGELOG.

License

See LICENSE.