This package contains the translator from Alloy4 to CNF (using kodkod).