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

Example 1 with NUM374

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