Name | Modified | Size | Downloads / Week |
---|---|---|---|
Parent folder | |||
clingo-2.0.1-x86-linux.gz | 2008-10-15 | 887.4 kB | |
gringo-2.0.1-source.tar.gz | 2008-10-15 | 307.1 kB | |
iclingo-2.0.1-x86-linux.gz | 2008-10-15 | 892.8 kB | |
all-2.0.1-x86-linux.tar.gz | 2008-10-15 | 2.5 MB | |
clingo-2.0.1-mingw32.exe.zip | 2008-10-15 | 676.6 kB | |
gringo-2.0.1-x86-linux.gz | 2008-10-15 | 704.6 kB | |
iclingo-2.0.1-mingw32.exe.zip | 2008-10-15 | 682.3 kB | |
all-2.0.1-mingw32.zip | 2008-10-15 | 1.8 MB | |
gringo-2.0.1-mingw32.exe.zip | 2008-10-15 | 489.7 kB | |
Totals: 9 Items | 9.0 MB | 0 |