We don't need to build the solvers in kodkod.