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

Example 1 with LAT258

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