3 ms·
Looks interesting. Would it be possible to use it as a MiniZinc backend?
by mzl 1y ago
Looks interesting.
Would it be possible to use it as a MiniZinc backend?
- rezra 1y agoYes, that’s possible. JuLS’ CP layer can map FlatZinc constraints directly, so it could be used as a MiniZinc backend. We haven’t built that bridge yet, but it’s a natural extension and something we’d welcome contributions on.
- mzl 1y agoWould be interesting to see in next years MiniZinc challenge as a way to compare with other solvers.