Package solver

Examples of solver.Solver

300
301
302
303
304
305
306
    }

    @Override
    public void createSolver() {
        solver = new Solver("StableMarriage");
    }
View Full Code Here
55
56
57
58
59
60
61
  IntVar x,y,z;

  @Override
  public void createSolver() {
    solver = new Solver();
  }
View Full Code Here
51
52
53
54
55
56
57
58
59
60
61
62
        if (a.getLB() >= b.getUB()) {
            return a;
        } else if (b.getLB() >= a.getUB()) {
            return b;
        } else {
            Solver solver = a.getSolver();
            IntVar z = new IntervalIntVarImpl(StringUtils.randomName(),
                    Math.max(a.getLB(), b.getLB()), Math.max(a.getUB(), b.getUB()), solver);
            solver.post(IntConstraintFactory.maximum(z, a, b));
            return z;
        }
    }
View Full Code Here
59
60
61
62
63
64
65
    IntVar[] vars, vectors;

    @Override
    public void createSolver() {
        solver = new Solver("CostasArrays");
    }
View Full Code Here
63
64
65
66
67
68
69
        new KnightTourProblem_Circuit().execute(args);
    }

    @Override
    public void createSolver() {
        solver = new Solver("solving the Hamiltonian Cycle Problem");
    }
View Full Code Here
45
46
47
48
49
50
51
    IntVar S, E, N, D, M, O, R, Y;
    IntVar[] ALL;

    @Override
    public void createSolver() {
        solver = new Solver("SendMoreMoney");
    }
View Full Code Here
52
53
54
55
56
57
58
    IntVar d, o, n, a, l, g, e, r, b, t;
    IntVar[] letters;

    @Override
    public void createSolver() {
        solver = new Solver("Donald");
    }
View Full Code Here
101
102
103
104
105
106
107
108
109
110
111
112
     * @param POSLITS positive literals
     * @param NEGLITS negative literals
     * @return true if the clause has been added to the clause store
     */
    public static boolean addClauses(BoolVar[] POSLITS, BoolVar[] NEGLITS) {
        Solver solver = POSLITS.length > 0 ? POSLITS[0].getSolver() : NEGLITS[0].getSolver();
        PropSat sat = solver.getMinisat().getPropSat();
        TIntList lits = new TIntArrayList(POSLITS.length + NEGLITS.length);
        for (int i = 0; i < POSLITS.length; i++) {
            lits.add(sat.Literal(POSLITS[i]));
        }
        for (int i = 0; i < NEGLITS.length; i++) {
View Full Code Here
121
122
123
124
125
126
127
128
129
130
131
     *
     * @param BOOLVAR a boolean variable
     * @return true if the clause has been added to the clause store
     */
    public static boolean addTrue(BoolVar BOOLVAR) {
        Solver solver = BOOLVAR.getSolver();
        PropSat sat = solver.getMinisat().getPropSat();
        int lit = sat.Literal(BOOLVAR);
        sat.addClause(SatSolver.negated(lit));
        return true;
    }
View Full Code Here
135
136
137
138
139
140
141
142
143
144
145
     *
     * @param BOOLVAR a boolean variable
     * @return true if the clause has been added to the clause store
     */
    public static boolean addFalse(BoolVar BOOLVAR) {
        Solver solver = BOOLVAR.getSolver();
        PropSat sat = solver.getMinisat().getPropSat();
        int lit = SatSolver.negated(sat.Literal(BOOLVAR));
        sat.addClause(lit);
        return true;
    }
View Full Code Here
TOP

Related Classes of solver.Solver

  • choco.AllDifferentTest
  • choco.checker.consistency.ConsistencyChecker
  • choco.checker.correctness.CorrectnessChecker
  • choco.checker.fmk.Correctness
  • choco.ClauseTest
  • choco.explanations.ExplanationTest
  • choco.IntLinCombTest
  • choco.LimitsTest
  • choco.LogicTreeTest
  • choco.NotEqualX_YCTest
    • Copyright © 2018 www.massapicom. All rights reserved.
    All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.