Questions
Linux
Laravel
Mysql
Ubuntu
Git
Menu
HTML
CSS
JAVASCRIPT
SQL
PYTHON
PHP
BOOTSTRAP
JAVA
JQUERY
R
React
Kotlin
×
Linux
Laravel
Mysql
Ubuntu
Git
New posts in constraint-programming
How to build my own global constraint with the CP-SAT solver of OR-tools?
Dec 02, 2025
data-mining
solver
or-tools
constraint-programming
cp-sat
Why can't my rule solve for X in a simple algebraic equation?
Dec 02, 2025
prolog
constraint-programming
Prolog: Constraining the elements of a list to be within a range
Nov 23, 2025
prolog
range
constraint-programming
clpfd
Google OR tools: how to evaluate complex or multi-level boolean constraints
Nov 18, 2025
or-tools
constraint-programming
cp-sat
Understanding the input format of Minizincs geost constraint
Nov 03, 2025
constraint-programming
minizinc
Optimise multiple objectives in MiniZinc
Oct 26, 2025
constraint-programming
minizinc
Multiple objective functions with binary variables Google OR-tools
Oct 20, 2025
python
optimization
or-tools
constraint-programming
cp-sat
Solving a Modified Subset Sum - Search Algorithms
Oct 19, 2025
python
algorithm
optimization
combinatorics
constraint-programming
Prolog solve Sudoku
Oct 14, 2025
prolog
sudoku
swi-prolog
constraint-programming
clpfd
arcs constraints for jobshop Scheduling
Sep 12, 2025
python
scheduled-tasks
or-tools
constraint-programming
cp-sat
how to implement a 'nested' cost function in Gecode?
Sep 05, 2025
c++
algorithm
constraint-programming
gecode
Clarification on `failures` solver statistic in MiniZinc
Mar 05, 2023
constraint-programming
minizinc
Increment variable array elements in Minizinc
Dec 15, 2022
constraint-programming
minizinc
Finding all the Combinations - N Rectangles inside the Square
Dec 05, 2022
constraint-programming
minizinc
Viewpoints Sudoku
Nov 11, 2022
prolog
sudoku
constraint-programming
Defining injective functions in Z3
Oct 23, 2022
z3
smt
constraint-programming
How to use Picat to create CNF files from Minizinc files?
Oct 17, 2022
constraint-programming
minizinc
sat
picat
Older Entries »
Menu