Skip to content

v0.7.3

Compare
Choose a tag to compare
@berland berland released this 26 Jan 14:27
65a9486

Enhancements:

  • When errors in parameter tables are detected, hint the user of which SATNUM and/or which low/base/high case has errors.
  • Skip monotonocity enforcement in fast mode.