A few tools that I use for solving optimization problems in practice are:

- MiniZinc, https://www.minizinc.org/ a constrain set programming language that can also optimize an objective

- Picat, http://picat-lang.org/ a general purpose language that specializes in logic and optimization