Chapter 6
Graphical Output of State Space Analysis

The binary hsolver_gui is able to visualize the state space produced after each refinement step of the algorithm. For this, call HSolver as follows:

./hsolver -ds <input.hs | ./hsolver_gui