Since alloy uses the kodkod built solvers we need to build them.