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.