prolog-to-minizinc


  • This is the compiler's output: