1.0.0

Refactored release which includes full component printing and more streamlined heuristics.

0.6.1

terminal components -> attractors

0.6.0

Print full components instead of just parameters

0.5.0 Tarjan

WARNING: This is a modified version just for benchmarking, not a full binary. It uses explicit parameter scan instead of the coloured heuristics, and therefore can be really slow.
Usage: One command line argument - path to model file.

0.5.1 Alpha 1

• use small block partitioning instead of uniform

0.5.0 (alpha 1)

• Switch to deterministic version of parameter representation.
• WARNING: Supports only exactly two parameters. General support coming in future releases.

0.4.1

• make state selection heuristic more deterministic (more stable scalability)
• fix stack overflow for cartesian product of big rectangle sets

0.4.0

• add the distributed algorithm (using reachability parallelism instead of recursion parallelism)
• to use the new algorithm, see algorithm type switch in tool help

0.3.1

Add options for parallelism and heuristic switch (see CLI help for more info)

0.3.0

• parameter set size heuristics
• parallelism (locked to core count, but probably won't achieve that much)
• command line arguments, similar to pithya (result formats are compatible)