1.10.0

• developed Pertinet model functions stratify(), abstract(), and formulate_bounds()
• created test cases for the new functions.
• improved handling of model inputs to distinguish file not found and malformed files.
• fixed bug in handling time-dependent constraints where SMT encodings for longer time horizons dropped constraints for earlier time - - steps that were previously checked, but still applicable.
• removed dependence on a time variable being present in the AMR files to fix a bug identified by the Terrarium team
• added support for observables, including constraints on observables
• added mode to run numerical integration in place of SMT-based integration
• fixed bug with "meets" function for intervals that assumed asymmetry, and made it symmetric.
• updated handling of pandas data frames to comply with new versions of the library

v1.9.1

• Fixes change in how pip interprets versions of wheels.

v1.9.0

• general efficiency improvements and bug fixes
• TKInter demo notebook for drawing curves
• Time bounded search cut-off for SMT solver in box search
• Support for July Demo with SEIRHD model
• Support use of parameters as preferred variables within the dReal solver to improve search performance
• Add box selection metric based upon information gain.
• Output new AMR model using the projection of the parameter space to identify parameter bounds.
• Added AMR instances for upcoming August demo

v1.8.0

• pde2petri package:
  • Documentation
    • Discretizing PDEs
    • Expressing Derivatives as Rate Laws
    • Examples: Halfar Ice Dome and Advection
    • Manual encoding of example instances
    • Automated encoding of vector calculus models
• Enhancements:
  • Refined plotting of parameter space as a grid of plots for all pairs of parameters. Removed the diagonal from the grid that plots a parameter against itself (i.e., the identity relataionship).
  • Improve parsing of unsat cores generated by minisat by using a pysmt parser instead of regular expression based substitution.
  • Add animated plotting for PDE model witness points that animates a 1D or 2D spatial variable over time.
  • Speed up generation of first parameter region using witness-based depth-first search
  • Refined generation of witness point traces to support Terrarium presentation
  • Improved handling of layered SMT encodings.
  • funman command line executable

  funman -h
  usage: funman [-h] [-o OUTDIR] [-p] model request
  
  positional arguments:
    model                 model json file
    request               request json file
  
  optional arguments:
    -h, --help            show this help message and exit
    -o OUTDIR, --outdir OUTDIR
                          Output directory
    -p, --plot            Write plots in outdir.

• Bug Fixes

v1.7.0

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.