New version of kodkod.