Use the version of kodkod with incremental solving.
Updating to new version of incremental kodkod.
Use the version of kodkod with the free statement.
Update to version of Kodkod with magnifier stats and logging for IGIA