How do I return the type of a variable in minizinc?...

Minizinc - variable value equal 0, 0.5 or 1...

Checking for feasibility and unsatisfied constraints in Docplex CP solutions...

Maximize revenue with deadline...

Can I specify the order in which the possible values are tried for a variable?...

ECLiPSe CLP - TSP with Time WIndow. How do i calculate the cost?...

OptaPlanner Custom Employee Rostering - Issues with WeeklyHoursLimit in the Constraint Provider...

OptaPlanner - Create a good, initial solution by hand...

Implement "OR" constraints in CVXPY...

OptaPlanner Solution's score not matches the score given by `ScoreManager::explainScore`...

Dynamic worker constraint in CPLEX python...

Nurse scheduling example: preventing overlapping shifts...

Understanding minzinc...

Is it possible to evaluate a cumul function at a specific moment in time in CPLEX?...

"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?...

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?...