zapashcanon/bdd
1
0
Fork 0
Code Issues Pull Requests Actions Releases Wiki Activity
45 Commits 2 Branches 0 Tags 358 KiB
Go to file
Clone
Open with VS Code Open with VSCodium Open with Intellij IDEA
Download ZIP Download TAR.GZ Download BUNDLE
zapashcanon 1af750c2b4
Some checks failed
build / build (push) Failing after 2m36s
Details
add CI
2025-01-20 04:12:41 +01:00
.gitea/workflows
add CI
2025-01-20 04:12:41 +01:00
src
add tests, fix some algorithms
2019-11-27 01:36:57 +01:00
test
add tests, fix some algorithms
2019-11-27 01:36:57 +01:00
.build.yml
fix build, new dune-project
2019-11-27 01:50:54 +01:00
.gitignore
clean code and repo layout
2019-04-03 15:07:04 +02:00
bdd.opam
fix build, new dune-project
2019-11-27 01:50:54 +01:00
CHANGELOG.md
first commit
2019-02-11 16:18:26 +01:00
dune-project
fix build, new dune-project
2019-11-27 01:50:54 +01:00
LICENSE.md
remove a lot of stuff, clean code
2019-11-26 02:05:09 +01:00
README.md
remove a lot of stuff, clean code
2019-11-26 02:05:09 +01:00

README.md

bdd

bdd is an OCaml library for Binary Decision Diagram

Change Log

See CHANGELOG.

License

See LICENSE.

Description
An OCaml library for binary decision diagrams (bdd)
Readme
Languages
OCaml 92.7%
Dune 7.3%