Ken Shirriff @righto.com · Oct 18 1 / 2
MiniZinc gave me a solution to the Pips puzzle in 100 milliseconds. Admittedly, this puzzle is rated "easy", but MiniZinc quickly solves hard puzzles too. Internally, MiniZinc uses complicated algorithms such as backjumping and constraint propagation, but I don't need to worry about that.
9 likes 1 replies
?
Replies
If you're a programmer, I recommend looking at constraint solvers. This different paradigm will broaden your horizons. It's also much easier than I expected. See my blog for details: www.righto.com/2025/10/solv...