Skip to content

v1.9.0
Compare
Choose a tag to compare
@danbryce danbryce released this 31 Jul 22:04
· 121 commits to main since this release
v1.9.0
553e8db
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Learn about vigilant mode.
  • 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
Assets 2
Loading