An OCaml library for binary decision diagrams (bdd)
您最多选择25个主题 主题必须以字母或数字开头,可以包含连字符 (-),并且长度不得超过35个字符
 
zapashcanon 9096ae7ec7
fix build, new dune-project
1年前
src add tests, fix some algorithms 1年前
test add tests, fix some algorithms 1年前
.build.yml fix build, new dune-project 1年前
.gitignore clean code and repo layout 1年前
CHANGELOG.md first commit 1年前
LICENSE.md remove a lot of stuff, clean code 1年前
README.md remove a lot of stuff, clean code 1年前
bdd.opam fix build, new dune-project 1年前
dune-project fix build, new dune-project 1年前

README.md

bdd

bdd is an OCaml library for Binary Decision Diagram

Change Log

See CHANGELOG.

License

See LICENSE.