Change LP solver in cp-sat #4948
Replies: 1 comment
|
no, no plan to do it. |
0 replies
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Uh oh!
There was an error while loading. Please reload this page.
Is it possible to do that? For example use highs or gurobi?
All reactions