"Generating Numbers" Puzzle...

Prolog: Constraining the elements of a list to be within a range...

Implementing jobshop problem in old ORTools...

How to set minimum locations per route in Google OR-Tools?...

Adding constrain to check if there exist a combination of pairs such that it statisfy a ratio?...

Integer constraints and difference of two lists...

OR-TOOLS - How to set the value of a BoolVar if the sum of some IntVars is greater than 0, else 0?...

What is the CP/MILP problem name for the assignment of agents to tasks with fixed start time and end...

Constraint to select certain items in MiniZinc...

Optimise multiple objectives in MiniZinc...

Restriction to sort an array in Minizinc...

Constraint for column in matrix Choco3...

Prolog solve Sudoku...

How to add a max sequence of days working with ORTools when having multiple shifts per day...

Difference between seq_search([ann1, ann2]) and ann1 :: ann2?...

Create a matrix based on given constraints...

How to use Picat to create CNF files from Minizinc files?...

Solving a simple geometric puzzle in CLPQ/R (Prolog)...

Adding multiple quadratic constraints in DOCPLEX...

Constraint Programming vs Linear Programming: Speed and quality of solution...

Safe packing - Choco-solver...

Using Cumulative function for Rectangular Placement...

Minizinc Model pickup and delivery in a problem similar to Vehicle Route Problem...

Using Z3 to sample from a constrained space...

Clarification on `failures` solver statistic in MiniZinc...

Java Constraints Library (JCL) problem: how to represent addition?...

clp(Z) vs. Kiselyov relational arithmetic...

What are Global Constraints in constraint programming?...

Setting distance Dimension in Or tools for vehicle routing problem...

ABC Puzzle- Constraint Satisfaction Problem...