StackOverflow Questions for Tag: cp-sat

Anthony
Anthony

Reputation: 631

Adding soft min,max and hard max consecutive day constraints to nurse scheduling example

Score: -1

Views: 52

Answers: 1

Read More
danvk
danvk

Reputation: 16955

Why is my Z3 and OR-Tools formulation of a problem slower than brute force in Python?

Score: 2

Views: 82

Answers: 2

Read More
remi
remi

Reputation: 133

Flexible Job Shop Scheduling [No Tasks, Only Jobs] with setup times

Score: 0

Views: 82

Answers: 0

Read More
PeterK
PeterK

Reputation: 1

Is there a way to export OR-Tools CP-SAT log_search_progress in C#?

Score: 0

Views: 53

Answers: 1

Read More
andré amistadi
andré amistadi

Reputation: 65

Using a CP sat solver, I want to use 2 conditions in an "OnlyEnforceIf" but can't find how

Score: 3

Views: 341

Answers: 2

Read More
Krishna
Krishna

Reputation: 1362

Optimizing ortools cp-sat for best speed

Score: 0

Views: 1500

Answers: 2

Read More
Bhartendu Awasthi
Bhartendu Awasthi

Reputation: 1029

VRP in CP-SAT (or tools) using all available vehicles, when a smaller number could have sufficed

Score: 0

Views: 68

Answers: 1

Read More
user23555664
user23555664

Reputation: 1

OR-Tools CP-SAT solver Python optimization, slow runtime, infeasibility, silent crashing

Score: 0

Views: 50

Answers: 0

Read More
S.M.
S.M.

Reputation: 13

OR-Tools CP-SAT hint completeness is lost after presolve

Score: 1

Views: 123

Answers: 1

Read More
Arun
Arun

Reputation: 295

How to use the sorted() and min() function with OR-Tools in python?

Score: 0

Views: 153

Answers: 1

Read More
purefn
purefn

Reputation: 836

Creating the maximum number of brackets

Score: 0

Views: 52

Answers: 1

Read More
FG85
FG85

Reputation: 63

Slow performance with simple constraint programming model

Score: 0

Views: 49

Answers: 1

Read More
John
John

Reputation: 1828

How to add piece-wise linear constraint in OR-Tools with CP-SAT solver?

Score: 0

Views: 50

Answers: 1

Read More
GabyLP
GabyLP

Reputation: 3781

minizinc logic to ortools CP

Score: 1

Views: 119

Answers: 1

Read More
djawed bkh
djawed bkh

Reputation: 41

How to build my own global constraint with the CP-SAT solver of OR-tools?

Score: 3

Views: 361

Answers: 1

Read More
Jonah Adler
Jonah Adler

Reputation: 1

CP-SAT freezing soon after starting to solve with 8 or more workers

Score: 0

Views: 88

Answers: 1

Read More
nakamura johnielo
nakamura johnielo

Reputation: 31

How to set maximum consecutive days in OR-Tools CP-SAT?

Score: -1

Views: 98

Answers: 1

Read More
Kannely
Kannely

Reputation: 3

Ortools can not evaluate LinearExpr edge case

Score: 0

Views: 57

Answers: 1

Read More
RM Ts
RM Ts

Reputation: 15

Adding a division constraint in Ortools results in MODEL_INVALID model when the nominator is a linear expression of two variables

Score: 0

Views: 54

Answers: 1

Read More
javaguy
javaguy

Reputation: 169

Which solver do Googles OR-Tools Modules for CSP and VRP use?

Score: 13

Views: 9806

Answers: 1

Read More
PreviousPage 1Next