CP-SAT solver - Githubissues

jump-dev / MiniZinc.jl

A Julia interface to the MiniZinc constraint modeling language

https://www.minizinc.org/

MIT License

17 stars 4 forks source link

CP-SAT solver #57

Closed 1991jhf closed 9 months ago

1991jhf commented 10 months ago

Does minizinc.jl support calling CP-SAT solver?

odow commented 10 months ago

MiniZinc.jl is not a full interface to MiniZinc. It is limited to the MathOptInterface API: https://github.com/jump-dev/MiniZinc.jl#use-with-mathoptinterface

But if you have CP-SAT installed, you can probably use it by passing the appropriate path to the .msc file. I don't have CP-SAT installed, so I haven't tried this though, and I don't have any suggestions for exactly what is required.

odow commented 9 months ago

Closing as won't-fix. We don't have a specialized interface to CP-SAT. If you need any other help using MiniZinc.jl, feel free to start a post on our forum: https://discourse.julialang.org/c/domain/opt/13.