zapashcanon
/
bdd
1
0
Форкнуть 0
Код Задачи 0 Pull Request'ы 0 Релизы 0 Вики Активность
An OCaml library for binary decision diagrams (bdd)
Вы не можете выбрать более 25 тем Темы должны начинаться с буквы или цифры, могут содержать дефисы(-) и должны содержать не более 35 символов.
44 коммитов
2 Ветки
2.3 MiB
 
ветка: master
Ветки Теги
${ item.name }
Создать ветку ${ searchTerm }
из 'master'
${ noResults }
 ZIP  TAR.GZ
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.