3 ms·Also, there is MiniZinc: https://www.minizinc.org/ https://www.minizinc.org/by mathnmusic 8y agoAlso, there is MiniZinc: https://www.minizinc.org/ https://www.minizinc.org/