![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| ampl | 08-Nov-2017 14:44 | 1.1M | |
| ampl_lic | 31-Jan-2017 17:50 | 105K | |
| doc/ | 11-Nov-2017 20:17 | - | |
| fingerprint | 20-Sep-2016 15:31 | 23K | |
| gurobi_ampl | 12-Jul-2017 20:55 | 318K | |
| libaes75.so | 11-Nov-2017 20:17 | 3.1M | |
| libgurobi75.so | 11-Nov-2017 20:17 | 16M | |