Documentation for the command line solve ?

[dxyzx0]

After the build, there is a solve binary in the bin folder which serves as the role of the command line tools for or-tools. But I couldn't find much documentation on how to use this solve.

1. Could someone help me on how to use it ?
2. I want to solve a job shop scheduling problem with many big-M constraints, which is in the mps format. Is there any better advice on modeling this problem?

Thanks a lot.

[lperron]

https://github.com/google/or-tools/blob/v99bugfix/ortools/linear_solver/solve.cc#L17

[dxyzx0]

Thanks a lot.

Can the cp-sat solver return an infeasbility certificate (e.g. conflicts) when it returns MPSOLVER_INFEASIBLE?

[lperron]

No Laurent Perron | Operations Research | ***@***.*** | (33) 1 42 68 53 00 Le mar. 17 juin 2025, 17:40, dxyzx ***@***.***> a écrit :

…

Thanks a lot. Can the cp-sat solver return an infeasbility certificate (e.g. conflicts) when it returns MPSOLVER_INFEASIBLE? — Reply to this email directly, view it on GitHub <#4684 (reply in thread)>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/ACUPL3N72DMGAIPXF2WMFY33EAZHXAVCNFSM6AAAAAB7MQOZYKVHI2DSMVQWIX3LMV43URDJONRXK43TNFXW4Q3PNVWWK3TUHMYTGNBZHA3DKNQ> . You are receiving this because you modified the open/close state.Message ID: ***@***.***>

[dxyzx0]

Here is the log file ortools_0617.txt

How could I know what cause the infeasiblity? ortools returns MPSOLVER_INFEASIBLE but the primal and dual bounds are still far away. Is it a official proof of infeasibility?

[lperron]

No, because the problem is not integral by default, and the scaling can I trouve infeasibility Laurent Perron | Operations Research | ***@***.*** | (33) 1 42 68 53 00 Le mar. 17 juin 2025, 18:15, dxyzx ***@***.***> a écrit :

…

ortools_0617.txt <https://github.com/user-attachments/files/20779229/ortools_0617.txt> How could know what causes infeasiblity? ortools returns MPSOLVER_INFEASIBLE but the primal and dual bounds are still far away. Is it a official proof of infeasibility? — Reply to this email directly, view it on GitHub <#4684 (reply in thread)>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/ACUPL3PO5FT673O3YMPJCR33EA5KBAVCNFSM6AAAAAB7MQOZYKVHI2DSMVQWIX3LMV43URDJONRXK43TNFXW4Q3PNVWWK3TUHMYTGNBZHEYDAMY> . You are receiving this because you modified the open/close state.Message ID: ***@***.***>

[lperron]

Introduce infeasibility Laurent Perron | Operations Research | ***@***.*** | (33) 1 42 68 53 00 Le mar. 17 juin 2025, 18:23, Laurent Perron ***@***.***> a écrit :

…

No, because the problem is not integral by default, and the scaling can I trouve infeasibility Laurent Perron | Operations Research | ***@***.*** | (33) 1 42 68 53 00 Le mar. 17 juin 2025, 18:15, dxyzx ***@***.***> a écrit : > ortools_0617.txt > <https://github.com/user-attachments/files/20779229/ortools_0617.txt> > > How could know what causes infeasiblity? ortools returns > MPSOLVER_INFEASIBLE but the primal and dual bounds are still far away. > Is it a official proof of infeasibility? > > — > Reply to this email directly, view it on GitHub > <#4684 (reply in thread)>, > or unsubscribe > <https://github.com/notifications/unsubscribe-auth/ACUPL3PO5FT673O3YMPJCR33EA5KBAVCNFSM6AAAAAB7MQOZYKVHI2DSMVQWIX3LMV43URDJONRXK43TNFXW4Q3PNVWWK3TUHMYTGNBZHEYDAMY> > . > You are receiving this because you modified the open/close state.Message > ID: ***@***.***> >