-
Hi Charles,
OK, and what about this code now:
import static choco.Choco.*;
import choco.cp.model.CPModel;
import choco.cp.solver.CPSolver;
import choco.kernel.model.Model;
import choco.kernel.model.variables.integer.*;
public class reification {
public static void main(String[] args) {
Model model = new CPModel();...
2010-01-05 16:58:20 UTC by julien_martin
-
Hi,
I'm quite sure now that there is a simple way to do it.
As you may know, in CP, a fix point (no more propagation can be done) leads to a decision. This decision is currently taken by the solver, by defining a search strategy.
What you can do is defined in 2 steps:
- Defining your own search strategy (dynamic variable selection and dynamic value selection) for allowing user to...
2010-01-05 10:45:13 UTC by cprudhom
-
Hi,
Take a look at the last snapshot version. You can find it on the [new website of choco][1]
Hope it helps,
CP
[1]: http://www.emn.fr/z-info/choco-solver/.
2010-01-05 10:33:33 UTC by cprudhom
-
Hi,
Thanks for the answer!
I will try to explain the problem with example. If there are three variables A=0..3, B=0..3, C=0..3, and a constraint A+B
2010-01-05 10:25:35 UTC by avoronov
-
Hi,
The erase method doesn't work correctly for dynamic constraints (so, in most of the cases). It requires a deep refactoring of a main structure and we still do not find the courage to fix it...
I'm sure I get exactly what you want.. Do you want to reconsider previous decisions and check satisfaction of a problem? I mean, user makes a decision on a variable A, then on variable B and can...
2010-01-04 14:21:59 UTC by cprudhom
-
Hi,
I have tried choco-2.0.0.3, choco-2.1.0-basic and choco-2.1.0-basic+old.
--
Julien
releases.
2010-01-04 14:10:26 UTC by julien_martin
-
Hi,
I'm pretty sure that bug has been fixed recently (your code work with the trunk version). Which version of choco do you use?
CP.
2010-01-04 14:05:57 UTC by cprudhom
-
Sorry, Christmas holidays.. so website is now regenerated, links work.
CP.
2010-01-04 14:02:01 UTC by cprudhom
-
Hi all,
Reification of conjunctions and disjunctions is not handled neither in choco-2.0.0.3 or choco-2.1.0-basic releases.
The execution of the following code yields the execution-time error :
> Exception in thread "main"
> java.lang.NullPointerException
> at choco.kernel.common.util.UtilAlgo.append(UtilAlgo.java:121)
> at...
2009-12-30 17:33:00 UTC by julien_martin
-
Hello!
I am trying to use Choco for [Dynamic CSP](http://en.wikipedia.org/wiki/Constraint_satisfaction_problem#Dynamic_CSPs) by using [eraseConstraint](http://www.emn.fr/z-info/choco-solver/choco-cp/apidocs/choco/cp/solver/CPSolver.html#eraseConstraint(choco.kernel.solver.constraints.SConstraint\)) followed by addConstraint of CPSolver, but it does not seem to work. Am I doing something wrong,
2009-12-29 13:40:37 UTC by avoronov
