Skip to content

v1.7.0

Choose a tag to compare

View all tags
@danbryce danbryce released this 27 Oct 23:51
· 620 commits to main since this release
v1.7.0
c503c8e

Improvements in this release:

  • Moved points into box attributes.
  • Use Interval in all input representations (instead of "lb", "ub"), and add flag closed_upper_bound (default False) for enforcing a non-strict inequality ("<=") on the ub.
  • Compute full trace information after eliminating variables when using ‘simplify_query’.
  • Improved logging, added TRACE level and config flag verbosity (int values correspond to logging library levels (TRACE=5)
  • Compute box explanations from unsat cores to identify classes of violated user constraints.
  • Deprecated query in the request object, in favor of a list of constraints.
  • Added new classes of constraints to specify a single variable and time box constraint, or a linear inequality among multiple variables.
  • Allow constrains to be hard or soft. Soft constraints can be violated if the solver negates "assumption" variables.
  • Compute at least one witness point per box and optionally use flag ‘compute_corner_points’ to compute a point’s timeseries for each corner of each box
  • Normalize parameter widths by default for the purpose of prioritizing boxes in search and termination wrt. configured tolerance.
  • Report progress during search as proportion of parameter space volume labeled.
  • Support specification of encoding time points in addition to number of steps and step size with the structural parameter schedules.
  • Use parameter space compaction by default. Compaction will join adjacent boxes with shared faces.
Assets 2
Loading