if written twice removed
added a full statement when verbose
New deterministic simulation method (WIP)
New deterministic simulation (WIP)
update of location for transition matrix
added options to a function
changed the default of diff of definitions to false
re-implemented reconvexification option

Asked for by Pelin Ilbas & Øistein Røisland