I would also add that Constraint Programming has a small but very dedicated community, and the amount of innovation in the space is incredible given how niche i

I would also add that Constraint Programming has a small but very dedicated community, and the amount of innovation in the space is incredible given how niche it is. Some things I find amazing: * Dozens of solvers with hundreds of search methodologies * Intermediate Language specifications (FlatZinc) to allow solvers written in one language to interact with completely different languages via a common intermediate language. * Entire catalogs of useful constraints https://sofdem.github.io/gccat/ https://sofdem.github.io/gccat/ * Solver Competitions https://www.minizinc.org/challenge.html https://www.minizinc.org/challenge.html * Peer Reviewed journals https://www.springer.com/journal/10601 https://www.springer.com/journal/10601