Hacker News new | ask | show | jobs
by cerved 743 days ago
MiniZinc is a high-level CP language and tool chain, not a solver. Google has been developing their suite of OR tools for 15+ years, it's not like they built something from scratch just for this