search

lsils / bill

C++ header-only reasoning library
MIT License
11 stars 6 forks source link

Refactoring ZDD implementation #16

Closed boschmitt closed 5 years ago

boschmitt commented 5 years ago