[next] [prev] [prev-tail] [tail] [up]
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
[next] [prev] [prev-tail] [front] [up]