Skip to content

1.7
Compare
Choose a tag to compare
@pauleve pauleve released this 08 Jun 08:45
· 41 commits to master since this release
v1.7
7668ccf
  • embed minibn.BooleanNetwork DNF simplification
  • add mpbn {file} fixedpoints cli command
Assets 2