20160926

• Skip notes in .net and .ndr
• Fix a possible crash with --dead-transitions

20150830

The executable should run on any 64 bits Linux.

Model Checking Contest 2015

MCC_2015

20141107

The executable should run on any 64 bits Linux.

Model Checking Contest 2014

Version submitted to the Model Checking Contest

for the 2014 edition (http://mcc.lip6.fr).