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

Example 36 with Solution

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

the class ExamplesTest method testNUM374.

/**
 * Runs NUM374.checkWilkie for 3.
 */
public void testNUM374() {
    final NUM374 prob = new NUM374();
    final Solution sol = solve(prob.checkWilkie(), prob.bounds(3));
    check(prob.getClass().getSimpleName(), sol, UNSATISFIABLE, 407, 6968, 15413);
}

Example 37 with Solution

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

the class ExamplesTest method testALG195.

/**
 * Runs ALG195.checkCO1.
 */
public void testALG195() {
    final ALG195 prob = new ALG195();
    final Solution sol = solve(prob.checkCO1(), prob.bounds());
    check(prob.getClass().getSimpleName(), sol, UNSATISFIABLE, 407, 6968, 15413);
}

Example 38 with Solution

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

the class ExamplesTest method testSET948.

/**
 * Runs SET948.checkT101_zfmisc_1 for 3.
 */
public void testSET948() {
    final SET948 prob = new SET948();
    final Solution sol = solve(prob.checkT101_zfmisc_1(), prob.bounds(3));
    check(prob.getClass().getSimpleName(), sol, UNSATISFIABLE, 407, 6968, 15413);
}

Example 39 with Solution

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

the class ExamplesTest method testLists_checkSymmetric.

/**
 * Runs Lists.checkSymmetric for 5.
 */
public void testLists_checkSymmetric() {
    final Lists prob = new Lists();
    final Solution sol = solve(prob.checkSymmetric(), prob.bounds(5));
    check(prob.getClass().getSimpleName(), sol, UNSATISFIABLE, 444, 4341, 18485);
}

Example 40 with Solution

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

the class ExamplesTest method testHandshake.

/**
 * Runs Handshake.runPuzzle for 6.
 */
public void testHandshake() {
    final Handshake prob = new Handshake();
    final Solution sol = solve(prob.runPuzzle(), prob.bounds(6));
    check(prob.getClass().getSimpleName(), sol, SATISFIABLE, 444, 4341, 18485);
}