News for hackers. Stuff that matters.
Re:Advent of Code 2024 by wjholden on Sunday December 01, 2024 @03:13PM (#42290426)
What solver are you referring to? I've used z3 and OR-tools, but I find it so difficult to model problems in either one that I seldom get good usage of either one.

There are no comments on this comment yet.