Examples with ALG195 examples.tptp.ALG195 used on opensource projects

Example 1 with ALG195

use of examples.tptp.ALG195 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);
}