Comments (2)
Thanks for the report.
This is a bug in the presolve code.
While waiting for the fix, if you disable presolve, the solver should work fine.
s.parameters.log_search_progress = True
s.parameters.cp_model_presolve = False
print(s.solve(model))
from or-tools.
Thanks.
FIxed on main.
from or-tools.
Related Issues (20)
- static assertion failed: ERROR_ConstraintInfo_is_not_well_compacted with MinGW HOT 1
- OR-Tools v9.9 regression: incorrect negative transit variables (with modulo > capacity) handling in heterogeneous VRP
- ARM C++ build for Debian 11 HOT 4
- AttributeError: 'CpModel' object has no attribute 'AddReservoirConstraintWithActive'
- Renaming of python methods leads to confusion HOT 3
- Segmentation fault in CP-SAT HOT 4
- 0<=1 not accept by math_opt HOT 3
- Java SIGSEGV when running CP-SAT solver HOT 4
- Multiple trips , such that no new pickup is made in the trip 40mins after first pickup. HOT 1
- Segmentation fault in Github runs HOT 1
- VRP Resource Constraints bug - solver over allocating resources
- Performance regression from v9.7 -> v9.8/v9.9 HOT 20
- solver crash; Check failed: SolutionIsFeasible HOT 5
- Unexpected "debug" output running fzn-cp-sat HOT 4
- Compiling with MSVC 17.9.6 Win32 fails in GurobiCallback
- Unsatisfied linear constraint with no free enforcement literal: enforcement_literal [occurs sometimes] HOT 3
- Invalid pointer error when using cbc HOT 1
- Check failed: Assignment().LiteralIsAssigned() Has this bug been fixed? HOT 4
- CP-SAT (v9.9) crashes silently (regression from 9.8) HOT 1
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from or-tools.