Skip to content

v1.1.0

Choose a tag to compare

View all tags
@nrueh nrueh released this 02 Apr 09:19
· 16 commits to master since this release
v1.1.0
7259345
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.
  • added support for parsing and solving simple defaults
  • added --step option to parametrize linear step size/exponential base for
    search algorithm of minimal upper bounds
  • fixed a bug with user include for unbounded cardinalities
  • fixed a bug with optimization in incremental bound solving
  • minor fixes
Assets 2
Loading