Up
–
Package index
»
mlbdd
» CHANGES
v0.7.3
Fixed a bug in memoization in cofactor (thanks @JoanThibault)
v0.7.1
v0.7
mlbdd
CHANGES
README
Library
mlbdd
MLBDD
Sources
v0.7.1
Fixed install
v0.7
Switched build from Makefile to Dune
Cleaned up project structure
Added caching for support computation (thanks @JoanThibault)