[Main website]

tech/constraint-solver

https://www.minizinc.org/ one of the best