Prolog CSPs: Less than constraint with instantiated counters...

Appointment scheduling algorithm (N people with N free-busy slots, constraint-satisfaction)...

Constraining an entire array in SystemVerilog based on another array...

Prolog constraint logic programming - Check if elements of list are different (list of lists)...

Choco Solver - Variables association...

Minizinc lazyfd solution ignores constraint...

What is an instance of Option Type at parsing time?...

Example channelling constraints ECLiPSe...

Speed up brute force for finding distribution with specific mean in MATLAB...

How to get a list of integers from a given set of possible integers in z3?...

Python element-wise sum and consecutive times constraint...

How to do basic optimisation using loco...

MiniZinc type error for trying to print the result...

Find all possible combinations of words in given format...

How can I express scheduling problems in minisat?...

Minizinc: Pairwise intersection of int arrays...

Uncertainty in a logic engine (Produce plausible relative positions based on local geography)...

Logical constraints in CPLEX...

ECLiPSe CLP produces variable with unexpected range...

Minizinc modelling: Vars as coordinate sets...

Find Constraint network - arc-consistency...

Binary CSP instance...

Listing all constraints in Eclipse CLP in a readable form...

Get dynamic submatrix and apply constraints...

Minimum fuel control with CVXPY...

Choco Sat Formulation...

How to perform constraint solving with mixed data types?...

Stuck making a Tetris solver in Minizinc...

Model suggestion for graph for Constraing Programing solver (gecode)...

Get Prolog to give all possibilities for arithmetic...