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

  🧩

  Local Search in CP-SAT

  C8504 asked Jul 19, 2022 in CP-SAT questions · Closed · Answered

  

  

  

  

  8
• 1 You must be logged in to vote

  🧩

  Warning when re-solving a model

  userdev163 asked Nov 21, 2024 in CP-SAT questions · Unanswered

  

  

  

  

  4
• 1 You must be logged in to vote

  🧩

  how measure performance of cp-sat for comparison with heuristic methods ?

  gregy4 asked Nov 18, 2024 in CP-SAT questions · Unanswered

  

  

  1
• 1 You must be logged in to vote

  🧩

  is interleave search deterministic between platforms?

  gregy4 asked Nov 15, 2024 in CP-SAT questions · Answered

  

  

  1
• 1 You must be logged in to vote

  🧩

  How I can stop search

  vuphamngoctan1612 asked Nov 13, 2024 in CP-SAT questions · Answered

  

  

  1
• 1 You must be logged in to vote

  🧩

  Difference between setNumSearchWorkers and setNumWorkers

  vuphamngoctan1612 asked Nov 8, 2024 in CP-SAT questions · Closed · Unanswered

  

  

  1
• 1 You must be logged in to vote

  🧩

  automatically warm-start the second solve call

  BrannonKing asked Nov 8, 2024 in CP-SAT questions · Closed · Unanswered

  

  

  1
• 1 You must be logged in to vote

  🧩

  Efficiency of MiniZinc + OR-tools compared to OR-tools alone

  tobiasBora asked Sep 16, 2024 in CP-SAT questions · Closed · Answered

  

  

  2
• 1 You must be logged in to vote

  🧩

  Presolved optimization model

  vuphamngoctan1612 asked Sep 9, 2024 in CP-SAT questions · Unanswered

  

  

  1
• 1 You must be logged in to vote

  🧩

  Semi-Flexible Job Shop Scheduling Problem (SFJSSP) with Machine Shifts and Changeovers

  hpswalters asked Aug 23, 2024 in CP-SAT questions · Unanswered

  

  

  0
• 1 You must be logged in to vote

  🧩

  How do I make sure that no more than n variables have the same value?

  MarcelloTheArcane asked Aug 16, 2024 in CP-SAT questions · Answered

  

  

  4
• 1 You must be logged in to vote

  🧩

  Upper bound limit on CP-SAT: MODEL_INVALID

  acheong08 asked Aug 21, 2024 in CP-SAT questions · Unanswered

  

  

  1
• 1 You must be logged in to vote

  🧩

  Add CP-SAT AddCumulative-like constraint where capacity can be different over periods of time

  alex-klimov asked Jul 28, 2024 in CP-SAT questions · Closed · Answered

  

  

  2
• 1 You must be logged in to vote

  🧩

  Understanding the better performance of CPSAT 9.7 over 9.10 on my problem

  Sacropyne asked Jul 13, 2024 in CP-SAT questions · Unanswered

  

  

  7
• 1 You must be logged in to vote

  🧩

  Version changes for Not()-function in IntVar

  disl asked Jul 19, 2024 in CP-SAT questions · Closed · Answered

  

  

  1
• 1 You must be logged in to vote

  🧩

  model results randomly feasible and infeasible

  Bug Lang: Python Python wrapper issue Solver: CP-SAT Solver Relates to the CP-SAT solver

  disonvon asked Jul 12, 2024 in CP-SAT questions · Answered

  

  

  5
• 1 You must be logged in to vote

  🧩

  Populate

  Tandome asked Jul 9, 2024 in CP-SAT questions · Unanswered

  

  

  3
• 1 You must be logged in to vote

  🧩

  Find max task available

  vuphamngoctan1612 asked Jul 4, 2024 in CP-SAT questions · Unanswered

  

  

  1
• 1 You must be logged in to vote

  🧩

  SAT Presolve time limit

  ianbenlolo asked Jun 21, 2024 in CP-SAT questions · Answered

  

  

  

  

  3
• 1 You must be logged in to vote

  🧩

  CP-SAT returns two copies of the same solution

  Lang: Python Python wrapper issue Solver: CP-SAT Solver Relates to the CP-SAT solver

  jeremydover asked Jun 11, 2024 in CP-SAT questions · Closed · Answered

  

  

  4
• 1 You must be logged in to vote

  🧩

  Add setup time to tasks in job shop scheduling

  uprox asked May 9, 2024 in CP-SAT questions · Unanswered

  

  

  3
• 1 You must be logged in to vote

  🧩

  CP-SAT: performance tips for the enumeration of all solutions

  tanlin2013 asked May 9, 2024 in CP-SAT questions · Unanswered

  

  

  1
• 1 You must be logged in to vote

  🧩

  SAT solver gives different result with the same input

  brucefeng10 asked Apr 22, 2024 in CP-SAT questions · Unanswered

  

  

  4
• 1 You must be logged in to vote

  🧩

  How to improve Performance for student grouping algorithm based on BalanceGroupSat

  Help Needed Modeling/Usage problem Lang: .NET .Net wrapper issue Solver: CP-SAT Solver Relates to the CP-SAT solver

  zdz72113 asked Feb 19, 2024 in CP-SAT questions · Closed · Answered

  

  

  3