| /dports/math/jacop/jacop-4.8.0/src/main/java/org/jacop/floats/constraints/ |
| H A D | CosPeqR_decomposed.java | 31 package org.jacop.floats.constraints;
33 import org.jacop.constraints.Constraint;
34 import org.jacop.constraints.DecomposedConstraint;
35 import org.jacop.core.Store;
36 import org.jacop.floats.core.FloatDomain;
37 import org.jacop.floats.core.FloatVar;
|
| H A D | LinearFloat.java | 31 package org.jacop.floats.constraints;
34 import org.jacop.api.UsesQueueVariable;
35 import org.jacop.core.Store;
36 import org.jacop.core.Var;
37 import org.jacop.floats.constraints.linear.Linear;
38 import org.jacop.floats.core.FloatVar;
172 org.jacop.constraints.Constraint c = new LinearFloat(store, df, ww, "==", 0.0); in derivative()
|
| H A D | AbsPeqR.java | 31 package org.jacop.floats.constraints;
33 import org.jacop.api.SatisfiedPresent;
34 import org.jacop.api.Stateful;
35 import org.jacop.constraints.Constraint;
36 import org.jacop.core.IntDomain;
37 import org.jacop.core.Store;
38 import org.jacop.floats.core.FloatVar;
|
| H A D | ExpPeqR.java | 31 package org.jacop.floats.constraints;
33 import org.jacop.api.SatisfiedPresent;
34 import org.jacop.constraints.Constraint;
35 import org.jacop.core.IntDomain;
36 import org.jacop.core.Store;
37 import org.jacop.floats.core.FloatDomain;
38 import org.jacop.floats.core.FloatVar;
39 import org.jacop.floats.core.InternalException;
|
| H A D | PeqQ.java | 31 package org.jacop.floats.constraints;
33 import org.jacop.constraints.PrimitiveConstraint;
34 import org.jacop.core.IntDomain;
35 import org.jacop.core.Store;
36 import org.jacop.floats.core.FloatDomain;
37 import org.jacop.floats.core.FloatVar;
|
| H A D | PneqQ.java | 31 package org.jacop.floats.constraints;
33 import org.jacop.constraints.PrimitiveConstraint;
34 import org.jacop.core.IntDomain;
35 import org.jacop.core.Store;
36 import org.jacop.floats.core.FloatDomain;
37 import org.jacop.floats.core.FloatVar;
|
| /dports/math/jacop/jacop-4.8.0/src/main/java/org/jacop/fz/ |
| H A D | FlatzincLoader.java | 32 package org.jacop.fz;
34 import org.jacop.core.FailException;
35 import org.jacop.core.Store;
36 import org.jacop.core.Var;
37 import org.jacop.search.DepthFirstSearch;
38 import org.jacop.search.SelectChoicePoint;
|
| /dports/math/jacop/jacop-4.8.0/src/main/java/org/jacop/search/ |
| H A D | SolutionListener.java | 31 package org.jacop.search;
33 import org.jacop.constraints.PrimitiveConstraint;
34 import org.jacop.core.Domain;
35 import org.jacop.core.Store;
36 import org.jacop.core.Var;
|
| /dports/math/jacop/jacop-4.8.0/src/main/java/org/jacop/floats/search/ |
| H A D | WeightedDegreeFloat.java | 31 package org.jacop.floats.search;
33 import org.jacop.core.Store;
34 import org.jacop.core.Var;
35 import org.jacop.floats.core.FloatVar;
36 import org.jacop.search.ComparatorVariable;
|
| /dports/math/jacop/jacop-4.8.0/src/main/java/org/jacop/jasat/modules/ |
| H A D | HeuristicRestartModule.java | 32 package org.jacop.jasat.modules;
34 import org.jacop.jasat.core.Core;
35 import org.jacop.jasat.core.clauses.MapClause;
36 import org.jacop.jasat.modules.interfaces.BackjumpListener;
37 import org.jacop.jasat.modules.interfaces.ConflictListener;
|
| H A D | SearchModule.java | 32 package org.jacop.jasat.modules;
34 import org.jacop.jasat.core.Core;
35 import org.jacop.jasat.core.SolverState;
36 import org.jacop.jasat.core.clauses.MapClause;
37 import org.jacop.jasat.modules.interfaces.ExplanationListener;
38 import org.jacop.jasat.modules.interfaces.SolutionListener;
39 import org.jacop.jasat.modules.interfaces.StartStopListener;
|
| H A D | HeuristicForgetModule.java | 32 package org.jacop.jasat.modules;
34 import org.jacop.jasat.core.Core;
35 import org.jacop.jasat.core.clauses.MapClause;
36 import org.jacop.jasat.modules.interfaces.BackjumpListener;
37 import org.jacop.jasat.modules.interfaces.ExplanationListener;
38 import org.jacop.jasat.modules.interfaces.ForgetListener;
|
| /dports/math/jacop/jacop-4.8.0/src/main/java/org/jacop/examples/fd/ |
| H A D | DonaldGeraldRobert.java | 31 package org.jacop.examples.fd;
33 import org.jacop.constraints.Alldifferent;
34 import org.jacop.constraints.LinearInt;
35 import org.jacop.constraints.XneqC;
36 import org.jacop.constraints.XplusYeqZ;
37 import org.jacop.core.IntVar;
38 import org.jacop.core.Store;
|
| H A D | Gates.java | 31 package org.jacop.examples.fd;
33 import org.jacop.constraints.Constraint;
34 import org.jacop.constraints.ExtensionalSupportSTR;
35 import org.jacop.constraints.table.SimpleTable;
36 import org.jacop.core.BooleanVar;
37 import org.jacop.core.Domain;
38 import org.jacop.core.IntVar;
39 import org.jacop.core.Store;
40 import org.jacop.search.*;
|
| H A D | Conference.java | 31 package org.jacop.examples.fd;
33 import org.jacop.constraints.Alldifferent;
34 import org.jacop.constraints.XeqC;
35 import org.jacop.constraints.XltY;
36 import org.jacop.constraints.XneqY;
37 import org.jacop.constraints.cumulative.Cumulative;
38 import org.jacop.core.IntVar;
39 import org.jacop.core.Store;
|
| /dports/math/jacop/jacop-4.8.0/src/main/java/org/jacop/examples/floats/ |
| H A D | Markov.java | 31 package org.jacop.examples.floats;
43 import org.jacop.core.Store;
44 import org.jacop.floats.constraints.LinearFloat;
45 import org.jacop.floats.core.FloatDomain;
46 import org.jacop.floats.core.FloatVar;
47 import org.jacop.floats.search.SplitSelectFloat;
48 import org.jacop.search.DepthFirstSearch;
|
| /dports/math/jacop/jacop-4.8.0/src/main/java/org/jacop/set/constraints/ |
| H A D | XinA.java | 31 package org.jacop.set.constraints;
33 import org.jacop.constraints.PrimitiveConstraint;
34 import org.jacop.core.IntDomain;
35 import org.jacop.core.IntVar;
36 import org.jacop.core.Store;
37 import org.jacop.core.Var;
38 import org.jacop.set.core.SetDomain;
39 import org.jacop.set.core.SetVar;
|
| H A D | AunionBeqC.java | 31 package org.jacop.set.constraints;
33 import org.jacop.api.SatisfiedPresent;
34 import org.jacop.api.UsesQueueVariable;
35 import org.jacop.constraints.Constraint;
36 import org.jacop.core.IntDomain;
37 import org.jacop.core.Store;
38 import org.jacop.core.Var;
39 import org.jacop.set.core.SetDomain;
40 import org.jacop.set.core.SetVar;
|
| H A D | AltB.java | 31 package org.jacop.set.constraints;
33 import org.jacop.constraints.PrimitiveConstraint;
34 import org.jacop.core.IntDomain;
35 import org.jacop.core.IntervalDomain;
36 import org.jacop.core.Store;
37 import org.jacop.core.ValueEnumeration;
38 import org.jacop.set.core.SetDomain;
39 import org.jacop.set.core.SetVar;
|
| /dports/math/jacop/jacop-4.8.0/src/main/java/org/jacop/satwrapper/translation/ |
| H A D | SatCPBridge.java | 32 package org.jacop.satwrapper.translation;
34 import org.jacop.core.IntDomain;
35 import org.jacop.core.IntVar;
36 import org.jacop.satwrapper.SatWrapper;
37 import org.jacop.satwrapper.WrapperComponent;
|
| H A D | DomainClausesDatabase.java | 32 package org.jacop.satwrapper.translation;
34 import org.jacop.core.Store;
35 import org.jacop.jasat.core.clauses.AbstractClausesDatabase;
36 import org.jacop.jasat.core.clauses.MapClause;
37 import org.jacop.jasat.utils.Utils;
38 import org.jacop.satwrapper.SatWrapper;
39 import org.jacop.satwrapper.WrapperComponent;
|
| /dports/math/jacop/jacop-4.8.0/src/main/minizinc/ |
| H A D | Dockerfile | 46 && git clone https://github.com/radsz/jacop /jacop
48 RUN cd /jacop && \
52 cp -r /jacop/src/main/minizinc/org/jacop/minizinc/* /entry_data/mzn-lib/
58 …echo "exec java -server -cp /jacop/target/jacop-*-SNAPSHOT.jar -Xmx10G -Xms100M org.jacop.fz.Fz2ja…
|
| /dports/math/jacop/jacop-4.8.0/src/main/java/org/jacop/constraints/ |
| H A D | Implies.java | 31 package org.jacop.constraints;
33 import org.jacop.api.UsesQueueVariable;
34 import org.jacop.core.Domain;
35 import org.jacop.core.IntDomain;
36 import org.jacop.core.Store;
37 import org.jacop.core.Var;
38 import org.jacop.core.IntVar;
39 import org.jacop.util.QueueForward;
|
| H A D | VariableTrace.java | 32 package org.jacop.constraints;
34 import org.jacop.api.RemoveLevelLate;
35 import org.jacop.api.UsesQueueVariable;
36 import org.jacop.core.IntDomain;
37 import org.jacop.core.Store;
38 import org.jacop.core.Var;
|
| /dports/math/jacop/jacop-4.8.0/src/test/java/org/jacop/ |
| H A D | ConstraintStatusKnownAtImposition.java | 1 package org.jacop;
3 import org.jacop.constraints.ExtensionalConflictVA;
4 import org.jacop.constraints.knapsack.Knapsack;
5 import org.jacop.core.IntVar;
6 import org.jacop.core.Store;
|