Have you tried - https://www.minizinc.org/?