| /dports/math/jacop/jacop-4.8.0/src/main/java/org/jacop/examples/fd/crosswords/ |
| H A D | CrossWord.java | 31 package org.jacop.examples.fd.crosswords;
33 import org.jacop.constraints.ExtensionalSupportMDD;
34 import org.jacop.constraints.XeqC;
35 import org.jacop.core.IntVar;
36 import org.jacop.core.Store;
37 import org.jacop.core.Var;
38 import org.jacop.examples.fd.ExampleFD;
39 import org.jacop.search.*;
40 import org.jacop.util.MDD;
|
| /dports/math/jacop/jacop-4.8.0/src/main/java/org/jacop/search/ |
| H A D | ExitChildListener.java | 31 package org.jacop.search;
33 import org.jacop.constraints.PrimitiveConstraint;
34 import org.jacop.core.Var;
|
| /dports/math/jacop/jacop-4.8.0/src/main/java/org/jacop/constraints/regular/ |
| H A D | RegStateDom.java | 32 package org.jacop.constraints.regular;
34 import org.jacop.core.IntDomain;
35 import org.jacop.core.IntervalDomain;
36 import org.jacop.core.TimeStamp;
37 import org.jacop.core.ValueEnumeration;
|
| /dports/math/jacop/jacop-4.8.0/src/main/java/org/jacop/jasat/modules/ |
| H A D | StatModule.java | 32 package org.jacop.jasat.modules;
35 import org.jacop.jasat.core.Core;
36 import org.jacop.jasat.core.clauses.AbstractClausesDatabase;
37 import org.jacop.jasat.core.clauses.MapClause;
38 import org.jacop.jasat.modules.interfaces.*;
|
| /dports/math/jacop/jacop-4.8.0/src/main/java/org/jacop/floats/constraints/linear/ |
| H A D | VarWeightNode.java | 31 package org.jacop.floats.constraints.linear;
40 import org.jacop.core.Store;
41 import org.jacop.floats.core.FloatDomain;
42 import org.jacop.floats.core.FloatIntervalDomain;
43 import org.jacop.floats.core.FloatVar;
|
| /dports/math/jacop/jacop-4.8.0/src/main/java/org/jacop/search/sgmpcs/ |
| H A D | SGMPCSCalculator.java | 31 package org.jacop.search.sgmpcs;
33 import org.jacop.core.Var;
34 import org.jacop.search.ConsistencyListener;
|
| /dports/math/jacop/jacop-4.8.0/src/main/scala/org/jacop/examples/scala/ |
| H A D | Powell.scala | 31 package org.jacop.examples.scala
33 import org.jacop.scala._
45 object Powell extends App with jacop {
|
| H A D | QueenGlobal.scala | 31 package org.jacop.examples.scala
33 import org.jacop.scala._
43 object QueenGlobal extends App with jacop {
|
| H A D | GraphColoringS.scala | 31 package org.jacop.examples.scala
33 import org.jacop.scala._
41 object GraphColoringS extends App with jacop {
|
| /dports/math/jacop/jacop-4.8.0/src/main/java/org/jacop/constraints/ |
| H A D | Task.java | 31 package org.jacop.constraints;
33 import org.jacop.core.IntDomain;
34 import org.jacop.core.IntVar;
35 import org.jacop.core.IntervalDomain;
|
| H A D | XneqY.java | 31 package org.jacop.constraints;
33 import org.jacop.core.IntDomain;
34 import org.jacop.core.IntVar;
35 import org.jacop.core.Store;
|
| H A D | XeqY.java | 31 package org.jacop.constraints;
33 import org.jacop.core.IntDomain;
34 import org.jacop.core.IntVar;
35 import org.jacop.core.Store;
|
| H A D | Member.java | 31 package org.jacop.constraints;
33 import org.jacop.core.IntDomain;
34 import org.jacop.core.IntervalDomain;
35 import org.jacop.core.IntVar;
36 import org.jacop.core.Store;
37 import org.jacop.core.TimeStamp;
|
| H A D | Element.java | 31 package org.jacop.constraints;
33 import org.jacop.api.UsesQueueVariable;
34 import org.jacop.core.IntVar;
35 import org.jacop.core.Store;
36 import org.jacop.core.Var;
|
| H A D | XplusYlteqZ.java | 31 package org.jacop.constraints;
33 import org.jacop.core.IntDomain;
34 import org.jacop.core.IntVar;
35 import org.jacop.core.Store;
|
| /dports/math/jacop/jacop-4.8.0/src/main/java/org/jacop/constraints/netflow/ |
| H A D | Arithmetic.java | 31 package org.jacop.constraints.netflow;
33 import org.jacop.constraints.Constraint;
34 import org.jacop.constraints.DecomposedConstraint;
35 import org.jacop.constraints.LinearInt;
36 import org.jacop.constraints.netflow.simplex.Node;
37 import org.jacop.core.IntVar;
38 import org.jacop.core.Store;
39 import org.jacop.core.Var;
|
| /dports/math/jacop/jacop-4.8.0/src/main/java/org/jacop/constraints/diffn/ |
| H A D | DiffnDecomposed.java | 32 package org.jacop.constraints.diffn;
34 import org.jacop.constraints.*;
35 import org.jacop.constraints.cumulative.CumulativeBasic;
36 import org.jacop.core.IntDomain;
37 import org.jacop.core.IntVar;
38 import org.jacop.core.Store;
39 import org.jacop.core.Var;
190 constraints.add(new org.jacop.constraints.diffn.Nooverlap(x, y, lx, ly)); in decompose()
|
| /dports/math/jacop/jacop-4.8.0/src/main/java/org/jacop/examples/fd/qcp/ |
| H A D | QCP.java | 31 package org.jacop.examples.fd.qcp;
33 import org.jacop.constraints.Alldistinct;
34 import org.jacop.constraints.Constraint;
35 import org.jacop.core.IntVar;
36 import org.jacop.core.Store;
37 import org.jacop.examples.fd.ExampleFD;
38 import org.jacop.search.*;
|
| /dports/math/jacop/jacop-4.8.0/src/main/java/org/jacop/set/constraints/ |
| H A D | Match.java | 31 package org.jacop.set.constraints;
33 import org.jacop.api.SatisfiedPresent;
34 import org.jacop.constraints.Constraint;
35 import org.jacop.core.*;
36 import org.jacop.set.core.SetDomain;
37 import org.jacop.set.core.SetVar;
|
| /dports/math/jacop/jacop-4.8.0/src/main/java/org/jacop/examples/fd/ |
| H A D | WhoKilledAgatha.java | 31 package org.jacop.examples.fd;
33 import org.jacop.constraints.*;
34 import org.jacop.core.Domain;
35 import org.jacop.core.IntVar;
36 import org.jacop.core.Store;
37 import org.jacop.search.*;
|
| /dports/math/jacop/jacop-4.8.0/src/main/java/org/jacop/search/restart/ |
| H A D | Calculator.java | 31 package org.jacop.search.restart;
33 import org.jacop.core.Var;
34 import org.jacop.search.ConsistencyListener;
|
| /dports/math/jacop/jacop-4.8.0/src/main/java/org/jacop/util/ |
| H A D | QueueForward.java | 31 package org.jacop.util;
33 import org.jacop.api.UsesQueueVariable;
34 import org.jacop.constraints.Constraint;
35 import org.jacop.core.Var;
|
| /dports/math/jacop/jacop-4.8.0/src/main/java/org/jacop/constraints/table/ |
| H A D | TableMill.java | 31 package org.jacop.constraints.table;
33 import org.jacop.core.IntDomain;
34 import org.jacop.core.IntVar;
35 import org.jacop.core.ValueEnumeration;
|
| /dports/math/jacop/jacop-4.8.0/src/main/java/org/jacop/floats/search/ |
| H A D | LargestMinFloat.java | 31 package org.jacop.floats.search;
33 import org.jacop.floats.core.FloatVar;
34 import org.jacop.search.ComparatorVariable;
|
| H A D | SmallestMinFloat.java | 31 package org.jacop.floats.search;
33 import org.jacop.floats.core.FloatVar;
34 import org.jacop.search.ComparatorVariable;
|