Skip to content

0.1.0-beta.2

Compare
Choose a tag to compare
@daemontus daemontus released this 30 Dec 18:58

Change-log compared to beta.1:

  • Fixes a bug where witness creation would leave explicit parameters in the model.
  • Allow public access to FunctionTable structures of the SymbolicContext. This is mainly aimed at very advanced users that need to create very specific subsets of parametrisations.
  • Easier access to network regulations via RegulatoryGraph.regulations.