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.
[ Parent
| on HN ]
There are no comments on this comment yet.