Name		Name	Last commit message	Last commit date
Latest commit History 2 Commits
cmake		cmake
src		src
tests		tests
.gitignore		.gitignore
CMakeLists.txt		CMakeLists.txt
Config.cmake.in		Config.cmake.in
README.md		README.md
build.sh		build.sh
debug.sh		debug.sh
release.sh		release.sh

Repository files navigation

IDNI's BDD library

IDNI's Binary Decision Diagram implementation

No releases published