Examples with NCEStrategy kodkod.engine.ucore.NCEStrategy used on opensource projects

Example 1 with NCEStrategy

use of kodkod.engine.ucore.NCEStrategy in project org.alloytools.alloy by AlloyTools.

the class ReductionAndProofTest method core.

private Set<Node> core(Formula formula, int granularity) {
    solver.options().setCoreGranularity(granularity);
    final Solution sol = solver.solve(formula, bounds);
    assertEquals(Solution.Outcome.UNSATISFIABLE, sol.outcome());
    sol.proof().minimize(new NCEStrategy(sol.proof().log()));
    return new IdentityHashSet<Node>(sol.proof().highLevelCore().values());
}