Updated version of kodkod.