An OCaml library for binary decision diagrams (bdd)
Du kannst nicht mehr als 25 Themen auswählen Themen müssen entweder mit einem Buchstaben oder einer Ziffer beginnen. Sie können Bindestriche („-“) enthalten und bis zu 35 Zeichen lang sein.
 
zapashcanon 9096ae7ec7
fix build, new dune-project
vor 1 Jahr
src add tests, fix some algorithms vor 1 Jahr
test add tests, fix some algorithms vor 1 Jahr
.build.yml fix build, new dune-project vor 1 Jahr
.gitignore clean code and repo layout vor 1 Jahr
CHANGELOG.md first commit vor 1 Jahr
LICENSE.md remove a lot of stuff, clean code vor 1 Jahr
README.md remove a lot of stuff, clean code vor 1 Jahr
bdd.opam fix build, new dune-project vor 1 Jahr
dune-project fix build, new dune-project vor 1 Jahr

README.md

bdd

bdd is an OCaml library for Binary Decision Diagram

Change Log

See CHANGELOG.

License

See LICENSE.