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
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
Alternative to drools-planner/optaplanner in c++/c#?
Oct 06, 2022
c++
optimization
constraint-programming
drools-planner
optaplanner
Set partitioning with constraints java
Sep 04, 2015
java
dynamic-programming
constraint-programming
integer-programming
Older Entries »