Examples with Solution kodkod.engine.Solution used on opensource projects

Example 31 with Solution

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

the class ExamplesTest method testBigconfig.

/**
 * Runs the Bigconfig example for 1 hq, 9 subs, 4 unwindings.
 */
public void testBigconfig() {
    final Bigconfig prob = new Bigconfig(4);
    final Solution sol = solve(prob.show(), prob.bounds(1, 9, 10));
    check(prob.getClass().getSimpleName(), sol, SATISFIABLE, 100, 2227, 4170);
}

Example 32 with Solution

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

the class ExamplesTest method testGEO091.

/**
 * Runs GEO091.checkTheorem_2_13 for 6.
 */
public void testGEO091() {
    final GEO091 prob = new GEO091();
    final Solution sol = solve(prob.checkTheorem_2_13(), prob.bounds(6));
    check(prob.getClass().getSimpleName(), sol, UNSATISFIABLE, 407, 6968, 15413);
}

Example 33 with Solution

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

the class ExamplesTest method testMED007.

/**
 * Runs MED007.checkTranssls2_qilt27 for 6.
 */
public void testMED007() {
    final MED007 prob = new MED007();
    final Solution sol = solve(prob.checkTranssls2_qilt27(), prob.bounds(6));
    check(prob.getClass().getSimpleName(), sol, UNSATISFIABLE, 407, 6968, 15413);
}

Example 34 with Solution

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

the class ExamplesTest method testLAT258.

/**
 * Runs GRA019.checkGoalToBeProved for 6.
 */
// public void testGRA019() {
// final GRA013_026 prob = new GRA013_026();
// final Solution sol = solve(prob.checkGoalToBeProved(), prob.bounds(6));
// check(prob.getClass().getSimpleName(), sol, SATISFIABLE, 407, 6968,
// 15413);
// }
/**
 * Runs LAT258.checkGoalToBeProved for 6.
 */
public void testLAT258() {
    final LAT258 prob = new LAT258();
    final Solution sol = solve(prob.checkGoalToBeProved(), prob.bounds(6));
    check(prob.getClass().getSimpleName(), sol, UNSATISFIABLE, 407, 6968, 15413);
}

Example 35 with Solution

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

the class ExamplesTest method testGEO092.

/**
 * Runs GEO092.checkProposition2141 for 6.
 */
public void testGEO092() {
    final GEO092 prob = new GEO092();
    final Solution sol = solve(prob.checkProposition2141(), prob.bounds(6));
    check(prob.getClass().getSimpleName(), sol, UNSATISFIABLE, 407, 6968, 15413);
}