-
Notifications
You must be signed in to change notification settings - Fork 2.1k
google or-tools Cp-sat-questions Discussions
Sort by:
Latest activity
Label
Categories, most helpful, and community links
Categories
Community links
🧩 CP-SAT questions Discussions
Pinned to CP-SAT questions
-
You must be logged in to vote 🧩
Discussions
-
You must be logged in to vote 🧩 Total number of solutions is not same with the same input
Solver: CP-SAT SolverRelates to the CP-SAT solver -
You must be logged in to vote 🧩 Multiple machine available for multiple job to work parallel: job shop problem
Solver: CP-SAT SolverRelates to the CP-SAT solver -
You must be logged in to vote 🧩 Parallel solving returns unknown status
Solver: CP-SAT SolverRelates to the CP-SAT solver -
You must be logged in to vote 🧩 Why IntervalVar instance has no access to start, end and duration LinearExpr instances
Solver: CP-SAT SolverRelates to the CP-SAT solver -
You must be logged in to vote 🧩 Difference between constraint solver's LNS with CP-SAT's LNS?
Solver: CP-SAT SolverRelates to the CP-SAT solver -
You must be logged in to vote 🧩 status: MODEL_INVALID on 9.1
Solver: CP-SAT SolverRelates to the CP-SAT solver -
You must be logged in to vote 🧩 The way I create the variables is somehow affecting the solver
Solver: CP-SAT SolverRelates to the CP-SAT solver -
You must be logged in to vote 🧩 Invalid model when creating constraints in multiple threads
Help NeededModeling/Usage problem Lang: PythonPython wrapper issue Solver: CP-SAT SolverRelates to the CP-SAT solver -
You must be logged in to vote 🧩 How to reduce memory usage while creating variables and constraints?
Help NeededModeling/Usage problem Solver: CP-SAT SolverRelates to the CP-SAT solver -
You must be logged in to vote 🧩 support clp LP solver?
Solver: CP-SAT SolverRelates to the CP-SAT solver -
You must be logged in to vote 🧩 lns focus on
Solver: CP-SAT SolverRelates to the CP-SAT solver -
You must be logged in to vote 🧩 Any way to find why a problem is infeasible?
Help NeededModeling/Usage problem Solver: CP-SAT SolverRelates to the CP-SAT solver -
You must be logged in to vote 🧩 Schedule continuous tasks
Help NeededModeling/Usage problem Solver: CP-SAT SolverRelates to the CP-SAT solver -
You must be logged in to vote 🧩 A Job processed by multiple machines simultaneously?
Help NeededModeling/Usage problem Solver: CP-SAT SolverRelates to the CP-SAT solver -
You must be logged in to vote 🧩 Increased memory usage of a solver on current master branch
Bug Solver: CP-SAT SolverRelates to the CP-SAT solver -
You must be logged in to vote 🧩 If the best solution don't improve after for example 120 seconds, could we terminate solver automatically ?
Help NeededModeling/Usage problem Solver: CP-SAT SolverRelates to the CP-SAT solver -
You must be logged in to vote 🧩 Advice for best Server Setup for CPSat problems
Help NeededModeling/Usage problem Solver: CP-SAT SolverRelates to the CP-SAT solver -
You must be logged in to vote 🧩 Could we disable LP solver inside SAT?
Help NeededModeling/Usage problem Solver: CP-SAT SolverRelates to the CP-SAT solver -
You must be logged in to vote 🧩 Setting a limit on number of assigned values from a domain variable
Help NeededModeling/Usage problem Solver: CP-SAT SolverRelates to the CP-SAT solver -
You must be logged in to vote 🧩 Integration with Streamlit
Feature RequestMissing Feature/Wrapper Lang: PythonPython wrapper issue Solver: CP-SAT SolverRelates to the CP-SAT solver -
You must be logged in to vote 🧩 removing of boolean variable used in channeling constraints during presolve
Feature RequestMissing Feature/Wrapper Solver: CP-SAT SolverRelates to the CP-SAT solver -
You must be logged in to vote 🧩 Behaviour of a unconstrained variable
Help NeededModeling/Usage problem Solver: CP-SAT SolverRelates to the CP-SAT solver -
You must be logged in to vote 🧩 Soft constrain
Help NeededModeling/Usage problem Lang: PythonPython wrapper issue Solver: CP-SAT SolverRelates to the CP-SAT solver -
You must be logged in to vote 🧩 Discrepancy between versions 8.2 and 7.5
Help NeededModeling/Usage problem Lang: PythonPython wrapper issue Solver: CP-SAT SolverRelates to the CP-SAT solver -
You must be logged in to vote 🧩 balancing shifts, ensuring max working time taken into consideration - shift_scheduling_sat.py
Help NeededModeling/Usage problem Lang: PythonPython wrapper issue Solver: CP-SAT SolverRelates to the CP-SAT solver