3 ms·

Minizinc!

• ryan-nextmv 4y ago
  Yes! MiniZinc is great. It's the only sticker I have on my Linux box. I like how it targets both MIP and CP solvers. It's actually the tool that first led me to CP and Gecode.