search

jump-dev / MiniZinc.jl

A Julia interface to the MiniZinc constraint modeling language
https://www.minizinc.org/
MIT License
18 stars 4 forks source link

Support getting SolverVersion #40

Closed chriscoey closed 1 year ago

chriscoey commented 1 year ago

@odow what's the best way to do this?

odow commented 1 year ago

x-ref https://github.com/jump-dev/Pavito.jl/issues/71

odow commented 1 year ago

This depends whether you want the libminizinc version or the MiniZinc.jl version

odow commented 1 year ago

And it also depends on the underlying solver. I don't know if this makes sense to return.

chriscoey commented 1 year ago

I think the libminizinc version makes sense

odow commented 1 year ago

Then we should just hard-code it

odow commented 1 year ago

Unless you could parse minizinc -v or something