zapashcanon
/
bdd
1
0
Fork 0
Code Issues 0 Pull-Requests 0 Releases 0 Wiki Aktivität
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.
44 Commits
2 Branches
2.3 MiB
 
Branch: master
Branches Tags
${ item.name }
Erstelle Branch ${ searchTerm }
von „master“
${ noResults }
 ZIP  TAR.GZ
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.