This website requires JavaScript.
Explore
Help
Sign In
zapashcanon
/
bdd
Watch
1
Star
0
Fork
0
You've already forked bdd
Code
Issues
Pull Requests
Actions
Releases
Wiki
Activity
45
Commits
2
Branches
0
Tags
358
KiB
Go to file
Code
Clone
HTTPS
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%