search

google / or-tools

Google's Operations Research tools:
https://developers.google.com/optimization/
Apache License 2.0
10.82k stars 2.09k forks source link

Floating point exception error in CP-SAT solver #4108

Closed arnabadas closed 4 months ago

arnabadas commented 4 months ago

What version of OR-Tools and what language are you using? Version: v9.9.3903 Language: Python

Which solver are you using (e.g. CP-SAT, Routing Solver, GLOP, BOP, Gurobi) CP-SAT

What operating system (Linux, Windows, ...) and version? Ubuntu 22.04 LTS (WSL2 on Windows 11)

What did you do? Run this model:

test_model.txt

What did you expect to see Solution

What did you see instead? Floating point exception error

Make sure you include information that can help us debug (full error message, model Proto). test_log.txt

Anything else we should know about your project / environment NA

lperron commented 4 months ago

Thanks. I will have a look

arnabadas commented 4 months ago

Also, another thing is that "Floating point exception" error is not printed in Windows. It just ends abruptly.

lperron commented 4 months ago

Thanks a lot.