Version 1.0.1 of the model checker Cubicle
removed graphviz external dependancy
Merge pull request #3017 from mebsout/master

Version 1.0.1 of the model checker Cubicle