Try Kodkod with Bounded GIA
Update to BGIA Kodkod with incremental solver
Update Kodkod. Use IGIA as the algorithm instead of BGIA