Home
last modified time | relevance | path

Searched refs:jacop (Results 1 – 25 of 687) sorted by path

12345678910>>...28

/dports/math/jacop/
H A D.license-catalog.mk5 _LICENSE_DISTFILES=jacop-4.8.0-deps.tar.gz radsz-jacop-v4.8.0_GH0.tar.gz
/dports/math/jacop/.m2/repository/org/jacop/jacop/4.8.0/
H A D_remote.repositories3 jacop-4.8.0.pom>=
4 jacop-4.8.0-sources.jar>=
5 jacop-4.8.0-javadoc.jar>=
6 jacop-4.8.0.jar>=
H A Djacop-4.8.0.pom6 <groupId>org.jacop</groupId>
7 <artifactId>jacop</artifactId> artifactId
12 <url>http://jacop.osolpro.com</url>
48 <connection>scm:svn:http://sourceforge.net/projects/jacop-solver/</connection>
50 <url>http://sourceforge.net/projects/jacop-solver/</url>
54 <connection>scm:git:git@github.com:radsz/jacop.git</connection>
56 <url>git@github.com:radsz/jacop.git</url>
439 <mainClass>org.jacop.examples.RunExample</mainClass>
440 <packageName>org.jacop</packageName>
526 <exclude>org/jacop/examples/scala/**/*.class</exclude>
[all …]
/dports/math/jacop/jacop-4.8.0/
H A DCHANGELOG67 definition at jacop.mzn for the definition).
142 10. Adding JaCoP solver configuration file, 'org.jacop.msc', for
143 minizinc 2.2 (both stand-alone and IDE) and fzn-jacop script to be
173 requires to include jacop.mzn in minizinc program.
176 flatzinc. It requires to include jacop.mzn in minizinc program.
372 1. Maven support and new directory structure. The package has changed name from JaCoP to org.jacop …
394 8. Print of statistics for flatzinc (org.jacop.fz.Fz2jacop) after Ctrl-C.
H A DREADME.md1 ![](https://travis-ci.org/radsz/jacop.svg?branch=develop)
3 https://maven-badges.herokuapp.com/maven-central/org.jacop/jacop/badge.svg
5 [![Maven Central](https://maven-badges.herokuapp.com/maven-central/org.jacop/jacop/badge.svg)]
6 (https://maven-badges.herokuapp.com/maven-central/org.jacop/jacop/)
68 The jar file will be generated into directory jacop/target.
88 <groupId>org.jacop</groupId>
89 <artifactId>jacop</artifactId>
116 …ij IDEA and run examples available in directory $PATH_TO_GIT_REPO\src\main\java\org\jacop\examples.
/dports/math/jacop/jacop-4.8.0/src/main/java/org/jacop/api/
H A DRemoveLevelLate.java31 package org.jacop.api;
H A DReplaceable.java31 package org.jacop.api;
33 import org.jacop.constraints.Constraint;
34 import org.jacop.constraints.DecomposedConstraint;
H A DSatisfiedPresent.java31 package org.jacop.api;
H A DStateful.java31 package org.jacop.api;
H A DStoreAware.java31 package org.jacop.api;
33 import org.jacop.core.Store;
H A DUsesQueueVariable.java31 package org.jacop.api;
/dports/math/jacop/jacop-4.8.0/src/main/java/org/jacop/constraints/
H A DAbsXeqY.java31 package org.jacop.constraints;
33 import org.jacop.api.Stateful;
34 import org.jacop.core.*;
H A DAlldiff.java31 package org.jacop.constraints;
33 import org.jacop.core.IntDomain;
34 import org.jacop.core.IntVar;
35 import org.jacop.core.Store;
36 import org.jacop.core.Var;
H A DAlldifferent.java32 package org.jacop.constraints;
34 import org.jacop.api.SatisfiedPresent;
35 import org.jacop.api.UsesQueueVariable;
36 import org.jacop.core.*;
37 import org.jacop.util.BipartiteGraphMatching;
H A DAlldistinct.java31 package org.jacop.constraints;
33 import org.jacop.api.SatisfiedPresent;
34 import org.jacop.api.Stateful;
35 import org.jacop.api.UsesQueueVariable;
36 import org.jacop.core.*;
37 import org.jacop.util.SimpleArrayList;
38 import org.jacop.util.SimpleHashSet;
H A DAmong.java31 package org.jacop.constraints;
33 import org.jacop.api.SatisfiedPresent;
34 import org.jacop.api.Stateful;
35 import org.jacop.api.UsesQueueVariable;
36 import org.jacop.core.*;
H A DAmongVar.java31 package org.jacop.constraints;
33 import org.jacop.api.SatisfiedPresent;
34 import org.jacop.api.Stateful;
35 import org.jacop.api.UsesQueueVariable;
36 import org.jacop.core.*;
H A DAnd.java31 package org.jacop.constraints;
33 import org.jacop.api.UsesQueueVariable;
34 import org.jacop.core.Store;
35 import org.jacop.core.Var;
36 import org.jacop.util.QueueForward;
H A DAndBool.java31 package org.jacop.constraints;
33 import org.jacop.core.IntVar;
34 import org.jacop.core.Store;
H A DAndBoolSimple.java31 package org.jacop.constraints;
33 import org.jacop.core.IntDomain;
34 import org.jacop.core.IntVar;
35 import org.jacop.core.Store;
H A DAndBoolVector.java31 package org.jacop.constraints;
33 import org.jacop.core.*;
H A DArgMax.java31 package org.jacop.constraints;
33 import org.jacop.api.SatisfiedPresent;
34 import org.jacop.core.*;
H A DArgMin.java31 package org.jacop.constraints;
33 import org.jacop.api.SatisfiedPresent;
34 import org.jacop.core.*;
H A DAssignment.java31 package org.jacop.constraints;
33 import org.jacop.api.SatisfiedPresent;
34 import org.jacop.api.Stateful;
35 import org.jacop.api.UsesQueueVariable;
36 import org.jacop.core.*;
H A DAtLeast.java31 package org.jacop.constraints;
33 import org.jacop.core.IntDomain;
34 import org.jacop.core.IntVar;
35 import org.jacop.core.Store;
36 import org.jacop.core.TimeStamp;

12345678910>>...28