That was a pretty fun read. Discrete optimization is still a huge challenge that many companies still face today.
So...is it naive to think that I can create something similar with MiniZinc (or an equivalent package)? Or will it take too long to even get an answer without CUDA? This seems like a pretty fun weekend project!