News for hackers. Stuff that matters.
Re:The software routing 260,000 grocery deliveries a week by FractalNerve on Wednesday August 16, 2017 @07:06PM (#15032089)
What's the benefit of Gurobi or CPLEX over a CSP-Solver (mini-sat)?

With ASP (answer-set-programming) you can also avoid the specificity of modeling-language DSLs and instead focus on formalization.

There are no comments on this comment yet.