Name Last modified Size Description![[PARENTDIR]](/icons/back.gif){kind=icon}
Parent Directory -
![[ ]](/icons/compressed.gif){kind=icon}
minizinc-tutorial-examples.zip 2017-06-30 16:22 30K
![[ ]](/icons/layout.gif){kind=icon}
minizinc-tute.pdf 2017-06-30 15:22 944K