Skip to content

3.1.1: non-monotone support
Compare
Choose a tag to compare
@pauleve pauleve released this 31 May 08:30
· 28 commits to master since this release
v3.1.1
0c772f1
  • increase recursion limit to handle larger BDD for non-monotone functions
Assets 2