This program was developed and tested with Netbeans 7.0.1

DEPENDENCIES:
* JDK 1.7
* Graphviz (tested with 2.28.0)

TROUBLESHOOTING:
When the graphviz executable is not found, the location can be hardcoded in graphviz/Graphviz.java

REPRODUCING THE RESULT FROM THE REPORT:
first click "run evaluation"
The tight constraints are shown in red
then select case 3.3 and "resolve selected case", this also runs the evaluation again which updates the values of x and alpha.
(3.3 was not defined as presice as it was presented in the paper)
then select case 3.4 and resolve again.
Now case 3.2 and 2 are binding, but neither can be improved

OTHER NOTES:
buttons for single expand steps are disables because the implementation contains a bug for the moment.
The isomorphism check button removes ismorphic cases. The button is however not required because the "resolve selected case" button does this as a sub-routine.