Index of /minizinc/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
libminizinc-2.5.0.tar.gz 1M15-Oct-2020 23:55
libminizinc-2.5.1.tar.gz 2M23-Oct-2020 21:50
libminizinc-2.5.2.tar.gz 12M15-Nov-2020 21:40
libminizinc-2.5.3.tar.gz 12M28-Nov-2020 07:45