0.1.0-beta.2

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.

0.1.0-beta.1

First stable version of fully symbolic asynchronous graph implementation with many additional bug fixes and improvements.

0.0.0

First available stable version with semi-symbolic transition graphs.