2 ms·
Yes, 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’
by rezra 1y ago
Yes, 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.