Pinned to CP-SAT questions

• 8 You must be logged in to vote

  🧩

  Useful CP-SAT resources

  lperron asked May 15, 2024 in CP-SAT questions · Unanswered

  0

Discussions

• 1 You must be logged in to vote

  🧩

  Change LP solver in cp-sat

  dxyzx0 asked Dec 13, 2025 in CP-SAT questions · Closed · Unanswered

  

  

  1
• 1 You must be logged in to vote

  🧩

  Changing interval granularity from minutes to hours: Worth for performance?

  derkleinegauss5050 asked Nov 14, 2025 in CP-SAT questions · Unanswered

  

  

  

  

  6
• 1 You must be logged in to vote

  🧩

  Floor Shop Scheduling

  inkerinmaa asked Nov 4, 2025 in CP-SAT questions · Closed · Unanswered

  

  

  2
• 1 You must be logged in to vote

  🧩

  Accessing solver from BestBoundCallback

  upsilon-patrik asked Oct 31, 2025 in CP-SAT questions · Closed · Answered

  

  

  2
• 2 You must be logged in to vote

  🧩

  Enumerate all solutions to a subset of variables

  Help Needed Modeling/Usage problem Solver: CP-SAT Solver Relates to the CP-SAT solver

  olarozenfeld asked Jun 15, 2022 in CP-SAT questions · Unanswered

  

  

  

  

  5
• 1 You must be logged in to vote

  🧩

  Is a high-CPU server worth it?

  MarcelloTheArcane asked Aug 10, 2025 in CP-SAT questions · Answered

  

  

  3
• 1 You must be logged in to vote

  🧩

  how to feed large amount of data that might not fit in memory

  photoszzt asked Jul 12, 2025 in CP-SAT questions · Closed · Unanswered

  

  

  3
• 1 You must be logged in to vote

  🧩

  Should I use hints when reusing the model?

  MarcelloTheArcane asked Jun 25, 2025 in CP-SAT questions · Answered

  

  

  1
• 1 You must be logged in to vote

  🧩

  [OR-Tools] Scalable Way to Handle Refueling with Variable Costs Per Node?

  kharabyasser asked May 28, 2025 in CP-SAT questions · Unanswered

  

  

  0
• 1 You must be logged in to vote

  🧩

  Using AddNoOverlap, would like to have the model track individual overlaps

  atrauzzi asked May 26, 2025 in CP-SAT questions · Unanswered

  

  

  1
• 0 You must be logged in to vote

  🧩

  Getting Issue while running multiple combinations

  pardeep632 asked May 21, 2025 in CP-SAT questions · Unanswered

  

  

  0
• 1 You must be logged in to vote

  🧩

  .mps and .sol imports for python wrapper

  Feature Request Missing Feature/Wrapper

  silvioba asked May 17, 2025 in CP-SAT questions · Unanswered

  

  

  3
• 1 You must be logged in to vote

  🧩

  Python: getting core dumped on import

  Help Needed Modeling/Usage problem OS: Linux GNU/Linux OS Lang: Python Python wrapper issue

  stefanmaak asked Apr 9, 2025 in CP-SAT questions · Unanswered

  

  

  

  

  7
• 1 You must be logged in to vote

  🧩

  Resource Time Windows Spanning Multiple Periods for Job Shop Scheduling using Ortools Sat Python cp_models

  Bruceholt2 asked Apr 21, 2025 in CP-SAT questions · Unanswered

  

  

  

  

  5
• 1 You must be logged in to vote

  🧩

  Failed to merge multiple projects.

  yinzhaobing asked Mar 31, 2025 in CP-SAT questions · Closed · Unanswered

  

  

  1
• 1 You must be logged in to vote

  🧩

  parallel modeling

  yinzhaobing asked Mar 31, 2025 in CP-SAT questions · Unanswered

  

  

  1
• 1 You must be logged in to vote

  🧩

  Any way to print CpModel to a human-readable string, e.g. smtlib string, for debug purpose?

  zhqrbitee asked Mar 28, 2025 in CP-SAT questions · Closed · Answered

  

  

  2
• 1 You must be logged in to vote

  🧩

  Does the CP-SAT support lazy constraint feature like in MIP solvers?

  kiijeonghoo asked Mar 14, 2025 in CP-SAT questions · Closed · Unanswered

  

  

  1
• 1 You must be logged in to vote

  🧩

  OR_tool shift scheduling: shift_scheduling_sat.py More that 3 shifts adjustment

  jbetkowska asked Feb 28, 2025 in CP-SAT questions · Unanswered

  

  

  3
• 1 You must be logged in to vote

  🧩

  Cumulative constraint with lower bounds

  Dr-Irv asked Mar 27, 2024 in CP-SAT questions · Closed · Unanswered

  

  

  

  

  10
• 1 You must be logged in to vote

  🧩

  Lower bound can be better ...

  gregy4 asked Feb 25, 2025 in CP-SAT questions · Unanswered

  

  

  4
• 1 You must be logged in to vote

  🧩

  How can I ensure that feasibility_pump and rins/rens are added to the subsolver list and the CP-SAT run is deterministic?

  pschitte asked Feb 14, 2025 in CP-SAT questions · Closed · Answered

  

  

  2
• 1 You must be logged in to vote

  🧩

  Error std::bad alloc in version 9.9

  vuphamngoctan1612 asked Jan 6, 2025 in CP-SAT questions · Closed · Unanswered

  

  

  1
• 1 You must be logged in to vote

  🧩

  Efficient way for vertex cover variant

  UnlimitedCookies asked Dec 30, 2024 in CP-SAT questions · Unanswered

  

  

  5
• 1 You must be logged in to vote

  🧩

  scheduling problem with variable delays between tasks

  Solver: CP-SAT Solver Relates to the CP-SAT solver

  gregy4 asked Dec 1, 2021 in CP-SAT questions · Closed · Answered

  

  

  

  

  9