Build of IC3 failed about ic3

[docteau]

Hi,

The current version of the IC3 code is meant to work with a development version of COAL. You can checkout the latest tag (currently v0.1.0) of IC3 using git before building (git checkout v0.1.0).

Alternatively, at any other time you could checkout projects coal-strings and coal from our repository and run mvn install on them before trying to build IC3, but I am in the middle of a big update and versions are not currently compatible. That should be fixed in the next couple of days when I push an update of IC3 compatible with the latest COAL, in case you want to check the latest revision.

[docteau]

Hi,

I have moved the latest commits to a new "develop" branch. You should now be able to just follow the instructions from the IC3 webpage to build the source code.

[vitaliiavdiienko]

Hi Damien,

thanks a lot!

Now everything works fine.

Best Regards,
Vitalii