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

domain from_values cause floating point exception error #4106

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? Windows

What did you do? I will prepare a test case, but most likely using from_values with an equality constraint where multiplication with an integer is happening will replicate the issue in some scenarios. I simply wanted to let know beforehand. Maybe a quick look will help identify the problem.

What did you expect to see No error

What did you see instead? Floating point exception error

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

Anything else we should know about your project / environment NA

lperron commented 4 months ago

please provide actionable feedback.