eclipse IDE windows 7 os importing choco package...

Choco forces a variable to true when it shouldn't...

Constraint choco...

Instantiation fault ECLiPSe CSP...

Puzzle taken from Gardner...

Difference between Planning Reasoning and Constraint Solving...

Get multiple solutions for 0/1-Knapsack MILP with lpSolveAPI...

Multi-Sudoku AI approach...

Prolog - How to find the maximum set of elements that their sum is equal to N...

Having some difficulty implementing a 'generalized arc consistency' algorithm in Java...

Prolog CLPFD trying to define domain for lists of list...

Solving a system of equations in Prolog...

How to model the allocation of vehicles for trips, possibly using Linear/Integer/Mixed math?...

Solving the Zebra puzzle (aka. Einstein puzzle) using the clpfd Prolog library...

How many Terms/Variables/Constraints/Non-Zeroes I defined in my Solver Foundation model?...

How to get the index of element in IntVar using java choco3 API?...

Difference of Genetic Algorithm and Constraint Programming?...

Search strategy with optional variables...

Alternative to drools-planner/optaplanner in c++/c#?...

Arrange blocks by 2D property without overlap...

Why do I have to use core.CreateIntVarFromTo to get this Sudoku solver to work?...

Efficient predicate for palindrome in Minizinc...

Modelling recipes and available ingredients with constraint logic...

Can this be expressed using Integer Programming or Constraint Programming?...

Minizinc - How can I constrain each column of an array to contain only one of a given integer?...

Using trigonometric functions in eclipse clp...

Minizinc: How to apply this constraint for scheduling model?...

Minizinc: Issue in array assignment in if-then-else statement...

Finding similar sets with clojure's core.logic / minikanren...

Custom GeCode propagator not getting scheduled...