New zdd operations - Githubissues

lsils / bill

C++ header-only reasoning library

MIT License

11 stars 6 forks source link

Closed boschmitt closed 4 years ago

boschmitt commented 4 years ago

This pull request refactors most of the ZDD implementation code and add new operations. It also improves documentation and testing.