On: Ask HN: Do you use an optimization solver? Which o...

[megiddo]

Minizinc!

[ryan-nextmv → megiddo]

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.