L1 distance constraint or distance objective...

custom propagator via pyscipopt...

Fill a 6x6 grid with 6 colors without same colors touching each other...

How to implement Cryptarithmetic using Constraint Satisfaction in C++...

K-consistent but not strongly K-consistent...

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

How to present the efficiency of MiniZinc in a research...

Linear Sat Unsat vs Linear Unsat Sat...

Pulp Killer sudoku - check choices are distinct for choice of variables...

Example of arc consistency does not imply satisfiability...

What are the differences between simulated annealing and genetic algorithms?...

AC-1, AC-2 and AC-3 algorithms (arc-consistency)...

Make a constraint more difficult to solve for a constraint solver?...

Allocating M experiments to N labs while respecting constraints...

In OptaPlanner, how does one restrict the number of times a fact is assigned to an entity?...

Find the number of backtrack in the graph CSP...

Learning Prolog, Sudoku Solver...

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

Get Prolog to give all possibilities for arithmetic...

Understanding MinConflicts algorithm...

Modeling: Efficiently model subset selection...

Zebra puzzle - Constraint Satisfaction in C...

Constraint Satisfaction with Uncertainty...

How to determine fixed and non-fixed variables in solutions to a integer satisfiability instance?...

How can I return default at loop end in Scheme?...

Constraint Satisfaction: Choosing real numbers with certain characteristics...

Maximize number of assigned variables in constraint satisfaction...

Non-deterministic CSP programming tool?...

Arc Consistency in Java, questions on implementation...

Building up timetabling problem with lots of variables...