[Dokmelody scratchpad notes]
[Main website]
tech/constraint-solver
https://www.minizinc.org/
one of the best