Closed SeppiaBrilla closed 4 months ago
Hi, I have added a script to install minizinc and updated the Dockerfile to install minizinc.
Hi, I have added a script to install minizinc and updated the Dockerfile to install minizinc.