New post: Gurobi versus the no-three-in-line problem
11011110.github.io/blog/2018/1

How well can a good but generic integer linear program solver stand up against 20-year-old problem-specific search code?

A Mastodon instance for maths people. The kind of people who make $\pi z^2 \times a$ jokes.

Use $ and $ for inline LaTeX, and $ and $ for display mode.