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.