Hi Matias, You are using InputOrderSelect approach to choose variables. In this case, the search efficiency is always hugely impacted by the order of variables you are using. For those type of puzzles often (not always) SmallestDomain approach for choosing the order of the variables seems to be working quite well. Sometimes, MostConstrainedStatic can also work very well. Good luck. Have fun. Radek
Hi, Please use Alldiff instead of Alldistinct. Alldistinct is usable only for specific tailored problems like larger Sudoku etc, but too often gives too little for the extra amount of work it requires. 95% of the cases Alldiff will be more than enough. best, Radek
Hi, I just put one longer response concerning your questions Peter. First, CP is often used to model and solve NP-complete and NP-hard problems. I assume your problem belongs to one of these. For those classes of problems finding the right search approach is something that even CP experts after years of experience will need to apply trial and see approach.We will have some hunches when we see actual problem but the only way to get good at it is to see existing solutions to similar problems and try...
Hi, I have difficult understanding your post. Therefore, my answer my not be sufficient for you. Look at how ExampleFD is used by one of our examples. Create your own example in your package in the project. Make your class use ExampleFD. ExampleFD is just convienance class that you do not have to use it. You could just copy paste some of the code from this class to your class and you will be ok too. You could to study a bit how to start a project in Intelij, create Java classes, etc and youtube will...
Hi, Please use store.print to print all the constraints. It may give you a hint what bad constraints you added to the store that together with the constraints you have already shown may be causing a conflict and a failure. best, Radek
Hi, XgtY1 : XgtY(L0::{1..100}, TA0 = 0 ) is a satisfied constraint because L0 is certain to be greater than TA0. andBoolSimple([ N0001_0_FS=0, N0002_0_FS::{0..1}], N0000_0_FS=0) is also a satisfied constraint as first argument is 0 and result is 0. The constraint can be satisfied even if result is equal 0. Both of the constraint are satisfied so IfThen should also be satisfied. The fact that N0000_0_FS=0 does not mean that constraint is not satisfied. It is satisfied because result is 0 and one of...
Hi, We divided the constraints into two types Primitive and non-primitive on purpose....
The assignment constraint was created with expectation that arrays of x and d are...
Hi, I would recommend checking Gates example from JaCoP library. https://github.com/radsz/jacop/blob/master/src/main/java/org/jacop/examples/fd/Gates.java...
Hi, There is a possibility in JaCoP to take a Flatzinc problem and solve it with...
Hi, Kris is on holidays so he may not be able to answer quickly. I did not work on...
Hi, There is IndomainList and IndomainHierarchical that may provide you the functionality...
Hi, I have an impression that you have a problem that can be solved using normal...
Hi, I can no longer see the content of your question. Did you delete it later by...
Hi, I will complement Kris answer. First the part "< constant" can be obtained by...
Hi, I have one possible bug fix. If you have source code and feel like trying something...
Hi, For the sake of the completeness can you post the complete stack trace for JaCoP...
Hi, A constraint is an entity that can given domains of some of its variables reduce...
Hi, Sorry for late reply. Sourceforge forums were down for some time making it impossible...
Hi Marco, Please have a look at the earlier thread concerning VRP. http://sourceforge.net/p/jacop-solver/discussion/1220992/thread/3a57bd45/...
Hi Stefan, For a moment, I do not understand what is your CP problem. In CP you have...
Hi, Few remarks. Your approach will not work because constraints when added in JaCoP...
Hi, If you check the comment above the line 1066 you mentioned you see this line...
Hi, Few remarks. First, we have at least few PhD students who were able to successfully...
Hi, Few remarks. First, we have at least few PhD students who were able to successfully...
Hi, If you impose constraint XeqC(duration, 5) then you force your interval to be...