Examples with Bigconfig examples.netconfig.Bigconfig used on opensource projects

Example 1 with Bigconfig

use of examples.netconfig.Bigconfig 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);
}