CP-SAT solver stopped working on Windows after updating to ortools 9.10

[vaidzelevich]

What version of OR-Tools and what language are you using?
Version: v9.10
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?
The following simple script silently stops at the line status = solver.solve(model). There is nothing in the console.

from ortools.sat.python import cp_model


def simple_sat_program():
    model = cp_model.CpModel()

    num_vals = 3
    x = model.new_int_var(0, num_vals - 1, "x")
    y = model.new_int_var(0, num_vals - 1, "y")
    z = model.new_int_var(0, num_vals - 1, "z")

    model.add(x != y)
    
    solver = cp_model.CpSolver()
    solver.parameters.log_search_progress = True
    status = solver.solve(model)

    if status == cp_model.OPTIMAL or status == cp_model.FEASIBLE:
        print(f"x = {solver.value(x)}")
        print(f"y = {solver.value(y)}")
        print(f"z = {solver.value(z)}")
    else:
        print("No solution found.")


simple_sat_program()

What did you expect to see
Optimal values of x, y, z

What did you see instead?
Nothing.

[lperron]

strange, I just created a venv, installed ortools and ran the ortools/sat/samples without any problem.

Which python version ?

CpSolverResponse summary:
status: OPTIMAL
objective: NA
best_bound: NA
integers: 0
booleans: 0
conflicts: 0
branches: 0
propagations: 0
integer_propagations: 0
restarts: 0
lp_iterations: 0
walltime: 0.0207079
usertime: 0.020708
deterministic_time: 0
gap_integral: 0
solution_fingerprint: 0x9b9ccaae26ad3f85

x = 1
y = 0
z = 0

[vaidzelevich]

Python 3.11.1

[lperron]

try another python version ? I used 3.12.3

[apavelm]

It looks like there are some breaking changes in CpSolver in 9.10 that doesn't work. But in python it doesn't reboot the server like in .NET #4224

[vaidzelevich]

Now everything is working fine. Updating the build tool for Visual Studio seems to help.

P.S. thanks for such a wonderful library.

[apavelm]

P.S. thanks for such a wonderful library.

I agree, the library is really great!

[nhuet]

This is still not working for me on python 3.11 + windows + ortools 9.10. IMHO This should not be closed.

[nhuet]

And i have the same issue with python 3.12 also. Error shown:

Segmentation fault

[lperron]

It works for the person that opened the bug. So it is closed. I did not close #4227. Le ven. 10 mai 2024, 16:53, nhuet ***@***.***> a écrit :

…

And i have the same issue with python 3.12 also. Error shown: Segmentation fault — Reply to this email directly, view it on GitHub <#4225 (comment)>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/ACUPL3JNYOEZHCYY5YKJB7LZBTNQFAVCNFSM6AAAAABHPM7AC6VHI2DSMVQWIX3LMV43OSLTON2WKQ3PNVWWK3TUHMZDCMBUG42TGMBYGQ> . You are receiving this because you modified the open/close state.Message ID: ***@***.***>

[Mizux]

• Python: CP-SAT tutorial example crashes on Windows with 9.10.4067 #4227