Potassco, the Potsdam Answer Set Solving Collection bundles tools for Answer Set Programming developed at the University of Potsdam, among them, the answer set solver clasp, the grounder gringo, and their combination clingo.
Latest 5 files |
|||
---|---|---|---|
Nom | Taille | Date | Télécharger compter |
clasp-3.2.0-win32.zip | 486.8 KB | 2016-09-09 00:05 | 2 |
clasp-3.2.0-source.tar.gz | 698.5 KB | 2016-09-09 00:05 | 1 |
clasp-3.2.0-win64.zip | 593.8 KB | 2016-09-09 00:05 | 7 |
clasp-3.2.0-x86_64-linux.tar.gz | 1.2 MB | 2016-09-09 00:05 | 1 |
clasp-3.2.0-x86_64-macosx.tar.gz | 609.3 KB | 2016-09-09 00:05 | 0 |
All Files |
|||
clasp | |||
3.2.0 | |||
clasp-3.2.0-source.tar.gz | 698.5 KB | 2016-09-09 00:05 | 1 |
clasp-3.2.0-win32.zip | 486.8 KB | 2016-09-09 00:05 | 2 |
clasp-3.2.0-win64.zip | 593.8 KB | 2016-09-09 00:05 | 7 |
clasp-3.2.0-x86_64-linux.tar.gz | 1.2 MB | 2016-09-09 00:05 | 1 |
clasp-3.2.0-x86_64-macosx.tar.gz | 609.3 KB | 2016-09-09 00:05 | 0 |
clasp-3.2.0-x86-linux.tar.gz | 1.1 MB | 2016-09-09 00:05 | 0 |
Readme.creole | 4.5 KB | 2016-09-09 00:04 | 1 |
3.1.5 | |||
clasp-3.1.5-source.tar.gz | 509.9 KB | 2016-08-15 16:56 | 0 |
clasp-3.1.5-win32.tgz | 462.9 KB | 2016-08-15 16:56 | 0 |
clasp-3.1.5-win64.tgz | 523.1 KB | 2016-08-15 16:56 | 0 |
clasp-3.1.5-x86_64-linux.tar.gz | 1.1 MB | 2016-08-15 16:56 | 1 |
clasp-3.1.5-x86-linux.tar.gz | 1.0 MB | 2016-08-15 16:56 | 0 |
README | 0.7 KB | 2016-08-15 16:56 | 0 |
3.1.4 | |||
clasp-3.1.4-win32.zip | 426.9 KB | 2015-12-10 22:00 | 1 |
clasp-3.1.4-win64.zip | 522.9 KB | 2015-12-10 22:00 | 0 |
clasp-3.1.4-x86_64-linux.tar.gz | 1.1 MB | 2015-12-10 22:00 | 1 |
clasp-3.1.4-x86-linux.tar.gz | 1.0 MB | 2015-12-10 22:00 | 1 |
README | 0.6 KB | 2015-12-10 22:00 | 0 |
clasp-3.1.4-source.tar.gz | 508.8 KB | 2015-12-10 22:00 | 2 |
3.1.3 | |||
clasp-3.1.3-win64-fixed.zip | 506.2 KB | 2015-08-05 16:32 | 6 |
README | 0.4 KB | 2015-08-01 18:05 | 1 |
clasp-3.1.3-x86-linux.tar.gz | 1.0 MB | 2015-08-01 18:05 | 3 |
clasp-3.1.3-x86_64-linux.tar.gz | 1.1 MB | 2015-08-01 18:05 | 5 |
clasp-3.1.3-win32.zip | 460.6 KB | 2015-08-01 18:04 | 7 |
clasp-3.1.3-source.tar.gz | 508.1 KB | 2015-08-01 18:04 | 5 |
3.1.2 | |||
clasp-3.1.2-source.tar.gz | 507.5 KB | 2015-05-05 18:40 | 1 |
clasp-3.1.2-win32.zip | 448.7 KB | 2015-05-05 18:40 | 4 |
clasp-3.1.2-win64.zip | 507.0 KB | 2015-05-05 18:40 | 2 |
clasp-3.1.2-x86_64-linux.tar.gz | 1.1 MB | 2015-05-05 18:40 | 2 |
clasp-3.1.2-x86-linux.tar.gz | 1.0 MB | 2015-05-05 18:40 | 5 |
README | 0.6 KB | 2015-05-05 18:40 | 4 |
3.1.1 | |||
clasp-3.1.1-win32.zip | 443.6 KB | 2014-11-12 19:05 | 3 |
clasp-3.1.1-source.tar.gz | 504.1 KB | 2014-11-12 19:05 | 6 |
clasp-3.1.1-x86-linux.tar.gz | 1.0 MB | 2014-11-12 19:05 | 6 |
clasp-3.1.1-x86_64-linux.tar.gz | 1.1 MB | 2014-11-12 19:05 | 4 |
README | 0.4 KB | 2014-11-12 19:05 | 2 |
clasp-3.1.1-win64.zip | 502.0 KB | 2014-11-12 19:05 | 8 |
3.1.0 | |||
clasp-3.1.0-win64.zip | 516.6 KB | 2014-08-15 18:56 | 4 |
clasp-3.1.0-win32.zip | 456.3 KB | 2014-08-15 18:56 | 8 |
README | 1.4 KB | 2014-08-15 18:56 | 2 |
clasp-3.1.0-x86_64-linux.tar.gz | 1.1 MB | 2014-08-15 18:56 | 3 |
clasp-3.1.0-x86-linux.tar.gz | 1.0 MB | 2014-08-15 18:56 | 4 |
clasp-3.1.0-source.tar.gz | 502.9 KB | 2014-08-15 18:56 | 5 |
3.0.6 | |||
clasp-3.0.6-source.tar.gz | 474.4 KB | 2014-07-21 23:37 | 2 |
clasp-3.0.6-win32.zip | 452.3 KB | 2014-07-21 23:37 | 1 |
clasp-3.0.6-win64.zip | 511.0 KB | 2014-07-21 23:37 | 1 |
clasp-3.0.6-x86_64-linux.tar.gz | 1.1 MB | 2014-07-21 23:37 | 4 |
clasp-3.0.6-x86-linux.tar.gz | 986.7 KB | 2014-07-21 23:37 | 1 |
README | 0.7 KB | 2014-07-21 23:37 | 2 |
3.0.5 | |||
clasp-3.0.5-x86_64-linux.tar.gz | 1.1 MB | 2014-05-19 22:47 | 7 |
clasp-3.0.5-x86-linux.tar.gz | 983.6 KB | 2014-05-19 22:47 | 13 |
clasp-3.0.5-source.tar.gz | 473.5 KB | 2014-05-19 22:47 | 7 |
README | 0.6 KB | 2014-05-19 22:47 | 6 |
clasp-3.0.5-st-macos-10.9.tar.gz | 449.9 KB | 2014-05-19 22:47 | 7 |
clasp-3.0.5-win32.zip | 451.6 KB | 2014-05-19 22:47 | 4 |
clasp-3.0.5-win64.zip | 510.0 KB | 2014-05-19 22:47 | 9 |
3.0.4 | |||
clasp-3.0.4-st-macos-10.9.tar.gz | 445.1 KB | 2014-04-24 18:02 | 1 |
clasp-3.0.4-win64.zip | 509.3 KB | 2014-04-24 18:01 | 2 |
clasp-3.0.4-win32.zip | 416.8 KB | 2014-04-24 18:01 | 4 |
README | 0.6 KB | 2014-04-24 18:01 | 1 |
clasp-3.0.4-x86_64-linux.tar.gz | 1.1 MB | 2014-04-24 18:01 | 1 |
clasp-3.0.4-x86-linux.tar.gz | 982.4 KB | 2014-04-24 18:01 | 2 |
clasp-3.0.4-source.tar.gz | 472.5 KB | 2014-04-24 18:01 | 9 |
3.0.3 | |||
clasp-3.0.3-win64.zip | 507.9 KB | 2014-03-29 02:14 | 3 |
clasp-3.0.3-win32.zip | 450.1 KB | 2014-03-29 02:14 | 3 |
README | 0.3 KB | 2014-03-29 02:14 | 3 |
clasp-3.0.3-x86_64-linux.tar.gz | 1.1 MB | 2014-03-29 02:14 | 1 |
clasp-3.0.3-x86-linux.tar.gz | 982.3 KB | 2014-03-29 02:14 | 3 |
clasp-3.0.3-source.tar.gz | 470.7 KB | 2014-03-29 02:14 | 1 |
clasp-3.0.3-st-macos-10.9.tar.gz | 448.1 KB | 2014-03-29 02:14 | 1 |
3.0.2 | |||
clasp-3.0.2-p1-win64.zip | 509.2 KB | 2014-03-19 18:06 | 7 |
clasp-3.0.2-p1-win32.zip | 453.2 KB | 2014-03-19 18:06 | 6 |
clasp-3.0.2-p1-x86_64-linux.tar.gz | 1.1 MB | 2014-03-19 18:06 | 2 |
clasp-3.0.2-p1-x86-linux.tar.gz | 981.0 KB | 2014-03-19 18:06 | 8 |
clasp-3.0.2-p1-source.tar.gz | 470.2 KB | 2014-03-19 18:06 | 2 |
README | 1.0 KB | 2014-03-19 18:06 | 3 |
3.0.1 | |||
clasp-3.0.1-x86_64-linux.tar.gz | 1.1 MB | 2014-02-21 23:24 | 6 |
clasp-3.0.1-x86-linux.tar.gz | 976.4 KB | 2014-02-21 23:24 | 7 |
clasp-3.0.1-win64.tar.gz | 505.3 KB | 2014-02-21 23:24 | 1 |
clasp-3.0.1-win32.tar.gz | 447.9 KB | 2014-02-21 23:24 | 5 |
clasp-3.0.1-source.tar.gz | 457.2 KB | 2014-02-21 23:24 | 1 |
README | 0.6 KB | 2014-02-21 23:24 | 0 |
3.0.0 | |||
clasp-3.0.0-source.tar.gz | 456.5 KB | 2014-02-15 02:22 | 2 |
clasp-3.0.0-win32.tar.gz | 448.6 KB | 2014-02-15 02:22 | 2 |
clasp-3.0.0-win64.tar.gz | 503.7 KB | 2014-02-15 02:22 | 3 |
clasp-3.0.0-x86_64-linux.tar.gz | 1.1 MB | 2014-02-15 02:22 | 2 |
clasp-3.0.0-x86-linux.tar.gz | 975.7 KB | 2014-02-15 02:22 | 2 |
README | 1.7 KB | 2014-02-15 02:22 | 1 |
2.1.5 | |||
clasp-2.1.5-win64.zip | 444.3 KB | 2014-01-29 00:08 | 2 |
clasp-2.1.5-source.tar.gz | 393.3 KB | 2014-01-29 00:08 | 3 |
clasp-2.1.5-win32.zip | 396.5 KB | 2014-01-29 00:08 | 3 |
clasp-2.1.5-x86_64-linux.tar.gz | 1.2 MB | 2014-01-29 00:08 | 4 |
clasp-2.1.5-x86-linux.tar.gz | 1.1 MB | 2014-01-29 00:08 | 3 |
README | 0.4 KB | 2014-01-29 00:08 | 3 |
2.1.4 | |||
clasp-2.1.4-source.tar.gz | 393.1 KB | 2013-11-26 19:48 | 2 |
clasp-2.1.4-st-win64.tar.gz | 414.2 KB | 2013-11-26 19:48 | 4 |
clasp-2.1.4-win32.tar.gz | 407.8 KB | 2013-11-26 19:48 | 6 |
clasp-2.1.4-x86_64-linux.tar.gz | 1.2 MB | 2013-11-26 19:48 | 9 |
clasp-2.1.4-x86-linux.tar.gz | 1.1 MB | 2013-11-26 19:48 | 2 |
README | 0.4 KB | 2013-11-26 19:48 | 2 |
2.1.3 | |||
clang-500.2.79.patch | 18.1 KB | 2013-11-02 00:06 | 4 |
clasp-2.1.3-source.tar.gz | 388.2 KB | 2013-04-12 19:00 | 7 |
clasp-2.1.3-x86-linux.tar.gz | 1.1 MB | 2013-04-12 19:00 | 3 |
clasp-2.1.3-x86_64-linux.tar.gz | 1.2 MB | 2013-04-12 19:00 | 6 |
README | 0.3 KB | 2013-04-12 19:00 | 6 |
clasp-2.1.3-win32.tar.gz | 409.5 KB | 2013-04-12 19:00 | 5 |
clasp-2.1.3-st-win64.tar.gz | 414.3 KB | 2013-04-12 19:00 | 5 |
1.3.11 | |||
clasp-1.3.11-source.tar.gz | 270.3 KB | 2013-04-05 23:13 | 4 |
clasp-1.3.11-x86-linux.tar.gz | 708.0 KB | 2013-04-05 23:13 | 2 |
clasp-1.3.11-win32.tar.gz | 302.2 KB | 2013-04-05 23:13 | 3 |
clasp-1.3.11-x86_64-linux.tar.gz | 789.5 KB | 2013-04-05 23:13 | 2 |
README | 0.3 KB | 2013-04-05 23:13 | 4 |
2.1.2 | |||
clasp-2.1.2-source.tar.gz | 388.2 KB | 2013-04-05 23:10 | 2 |
clasp-2.1.2-x86-linux.tar.gz | 1.1 MB | 2013-04-05 23:10 | 4 |
clasp-2.1.2-x86_64-linux.tar.gz | 1.2 MB | 2013-04-05 23:10 | 9 |
README | 0.7 KB | 2013-04-05 23:10 | 2 |
clasp-2.1.2-win32.tar.gz | 409.6 KB | 2013-04-05 23:10 | 6 |
clasp-2.1.2-st-win64.tar.gz | 414.3 KB | 2013-04-05 23:10 | 5 |
clingo | |||
4.5.4 | |||
clingo-4.5.4-source.tar.gz | 1.6 MB | 2015-12-11 03:09 | 1 |
clingo-4.5.4-win64.zip | 3.7 MB | 2015-12-11 03:09 | 4 |
README | 1.4 KB | 2015-12-11 03:09 | 1 |
clingo-4.5.4-linux-x86_64.tar.gz | 4.5 MB | 2015-12-11 03:09 | 2 |
clingo-4.5.4-macos-10.9.tar.gz | 4.1 MB | 2015-12-11 03:09 | 3 |
4.5.3 | |||
clingo-4.5.3-linux-x86_64.tar.gz | 3.6 MB | 2015-09-21 19:58 | 7 |
clingo-4.5.3-macos-10.9.tar.gz | 6.4 MB | 2015-09-21 19:58 | 3 |
clingo-4.5.3-source.tar.gz | 1.6 MB | 2015-09-21 19:58 | 3 |
clingo-4.5.3-win64.zip | 2.7 MB | 2015-09-21 19:58 | 3 |
README | 1.3 KB | 2015-09-21 19:58 | 1 |
4.5.2 | |||
clingo-4.5.2-linux-x86_64.tar.gz | 3.6 MB | 2015-08-06 01:43 | 11 |
clingo-4.5.2-macos-10.9.tar.gz | 6.4 MB | 2015-08-06 01:43 | 6 |
clingo-4.5.2-source.tar.gz | 1.6 MB | 2015-08-06 01:43 | 6 |
clingo-4.5.2-win64.zip | 2.5 MB | 2015-08-06 01:43 | 11 |
README | 1.2 KB | 2015-08-06 01:43 | 4 |
4.5.1 | |||
clingo-4.5.1-linux-x86_64.tar.gz | 3.6 MB | 2015-07-10 20:44 | 13 |
clingo-4.5.1-macos-10.9.tar.gz | 6.4 MB | 2015-07-10 20:44 | 6 |
clingo-4.5.1-source.tar.gz | 1.6 MB | 2015-07-10 20:44 | 6 |
clingo-4.5.1-win64.zip | 2.5 MB | 2015-07-10 20:44 | 9 |
README | 1.7 KB | 2015-07-10 20:44 | 9 |
4.5.0 | |||
clingo-4.5.0-macos-10.9.tar.gz | 7.3 MB | 2015-05-11 21:33 | 6 |
clingo-4.5.0-win64.zip | 3.5 MB | 2015-05-09 00:22 | 3 |
clingo-4.5.0-source.tar.gz | 1.6 MB | 2015-05-05 23:52 | 2 |
clingo-4.5.0-x86_64-linux.tar.gz | 4.6 MB | 2015-05-05 23:52 | 3 |
README | 2.3 KB | 2015-05-05 23:52 | 4 |
4.4.0 | |||
clingo-4.4.0-macos-10.9.tar.gz | 2.9 MB | 2014-10-23 00:02 | 5 |
CHANGES | 3.3 KB | 2014-08-18 23:27 | 1 |
README | 6.7 KB | 2014-08-18 23:16 | 2 |
clingo-4.4.0-x86_64-linux.tar.gz | 2.9 MB | 2014-08-18 23:16 | 7 |
clingo-4.4.0-x86-linux.tar.gz | 2.4 MB | 2014-08-18 23:16 | 3 |
clingo-4.4.0-win64.tar.gz | 2.0 MB | 2014-08-18 23:16 | 5 |
clingo-4.4.0-win32.tar.gz | 2.0 MB | 2014-08-18 23:16 | 8 |
clingo-4.4.0-source.tar.gz | 1.4 MB | 2014-08-18 23:16 | 7 |
4.3.0 | |||
README | 6.7 KB | 2014-02-21 03:16 | 1 |
CHANGES | 2.2 KB | 2014-02-21 03:16 | 1 |
clingo-4.3.0-x86_64-linux.tar.gz | 2.1 MB | 2014-02-21 03:16 | 3 |
clingo-4.3.0-x86-linux.tar.gz | 1.5 MB | 2014-02-21 03:16 | 10 |
clingo-4.3.0-win64.zip | 2.8 MB | 2014-02-21 03:16 | 8 |
clingo-4.3.0-win32.zip | 1.2 MB | 2014-02-21 03:16 | 5 |
clingo-4.3.0-source.tar.gz | 1.4 MB | 2014-02-21 03:16 | 1 |
clingo-4.3.0-macos-10.9.tar.gz | 1.9 MB | 2014-02-21 03:16 | 2 |
4.2.1 | |||
CHANGES | 1.7 KB | 2013-11-17 01:50 | 1 |
README | 6.7 KB | 2013-11-16 19:53 | 2 |
clingo-4.2.1-x86_64-linux.tar.gz | 2.1 MB | 2013-11-16 19:53 | 5 |
clingo-4.2.1-x86-linux.tar.gz | 1.5 MB | 2013-11-16 19:52 | 3 |
clingo-4.2.1-win64.zip | 1.1 MB | 2013-11-16 19:52 | 2 |
clingo-4.2.1-win32.zip | 1.2 MB | 2013-11-16 19:52 | 2 |
clingo-4.2.1-source.tar.gz | 601.5 KB | 2013-11-16 19:52 | 3 |
clingo-4.2.1-macos-10.9.tar.gz | 1.9 MB | 2013-11-16 19:51 | 4 |
4.2.0 | |||
clingo-4.2-x86_64-linux.tar.xz | 1.4 MB | 2013-11-02 03:06 | 3 |
clingo-4.2-x86-linux.tar.xz | 1.2 MB | 2013-11-02 03:06 | 2 |
clingo-4.2-win64.zip | 1.1 MB | 2013-11-02 03:06 | 5 |
clingo-4.2-source.tar.xz | 457.8 KB | 2013-11-02 03:06 | 5 |
clingo-4.2-win32.zip | 1.2 MB | 2013-11-02 03:06 | 2 |
clingo-4.2-macos-10.9.tar.xz | 1.3 MB | 2013-11-02 03:06 | 2 |
CHANGES | 1.2 KB | 2013-11-02 03:06 | 2 |
README | 6.7 KB | 2013-11-02 03:06 | 1 |
3.0.5 | |||
clingo-3.0.5-macos-10.8.3.tar.gz | 1.3 MB | 2013-03-28 06:55 | 8 |
gringo | |||
4.5.4 | |||
gringo-4.5.4-linux-x86_64.tar.gz | 4.5 MB | 2015-12-11 03:08 | 0 |
gringo-4.5.4-macos-10.9.tar.gz | 4.1 MB | 2015-12-11 03:08 | 0 |
gringo-4.5.4-source.tar.gz | 1.6 MB | 2015-12-11 03:08 | 2 |
gringo-4.5.4-win64.zip | 3.7 MB | 2015-12-11 03:08 | 2 |
README | 1.4 KB | 2015-12-11 03:08 | 1 |
4.5.3 | |||
gringo-4.5.3-linux-x86_64.tar.gz | 3.6 MB | 2015-09-21 20:00 | 6 |
gringo-4.5.3-macos-10.9.tar.gz | 6.4 MB | 2015-09-21 20:00 | 8 |
gringo-4.5.3-source.tar.gz | 1.6 MB | 2015-09-21 20:00 | 7 |
gringo-4.5.3-win64.zip | 2.7 MB | 2015-09-21 20:00 | 4 |
README | 1.3 KB | 2015-09-21 20:00 | 2 |
4.5.2 | |||
gringo-4.5.2-source.tar.gz | 1.6 MB | 2015-08-06 01:42 | 11 |
gringo-4.5.2-win64.zip | 2.5 MB | 2015-08-06 01:42 | 7 |
gringo-4.5.2-linux-x86_64.tar.gz | 3.6 MB | 2015-08-06 01:42 | 14 |
gringo-4.5.2-macos-10.9.tar.gz | 6.4 MB | 2015-08-06 01:42 | 4 |
README | 1.2 KB | 2015-08-06 01:42 | 2 |
4.5.1 | |||
gringo-4.5.1-linux-x86_64.tar.gz | 3.6 MB | 2015-07-10 20:44 | 4 |
gringo-4.5.1-macos-10.9.tar.gz | 6.4 MB | 2015-07-10 20:44 | 9 |
gringo-4.5.1-source.tar.gz | 1.6 MB | 2015-07-10 20:44 | 3 |
gringo-4.5.1-win64.zip | 2.5 MB | 2015-07-10 20:44 | 4 |
README | 1.7 KB | 2015-07-10 20:44 | 12 |
4.5.0 | |||
gringo-4.5.0-x86_64-linux.tar.gz | 4.6 MB | 2015-05-05 23:51 | 6 |
README | 2.3 KB | 2015-05-05 23:51 | 10 |
gringo-4.5.0-macos-10.9.tar.gz | 6.8 MB | 2015-05-05 23:51 | 4 |
gringo-4.5.0-source.tar.gz | 1.6 MB | 2015-05-05 23:51 | 6 |
gringo-4.5.0-win64.zip | 3.4 MB | 2015-05-05 23:51 | 3 |
4.4.0 | |||
gringo-4.4.0-macos-10.9.tar.gz | 1.4 MB | 2014-10-23 00:01 | 4 |
CHANGES | 3.3 KB | 2014-08-18 23:28 | 1 |
README | 6.7 KB | 2014-08-18 23:15 | 1 |
gringo-4.4.0-x86_64-linux.tar.gz | 2.4 MB | 2014-08-18 23:15 | 4 |
gringo-4.4.0-x86-linux.tar.gz | 1.9 MB | 2014-08-18 23:15 | 8 |
gringo-4.4.0-win64.zip | 1.5 MB | 2014-08-18 23:15 | 3 |
gringo-4.4.0-win32.zip | 1.5 MB | 2014-08-18 23:15 | 2 |
gringo-4.4.0-source.tar.gz | 1.4 MB | 2014-08-18 23:15 | 3 |
4.3.0 | |||
CHANGES | 2.2 KB | 2014-02-21 03:24 | 2 |
README | 6.7 KB | 2014-02-21 03:24 | 3 |
gringo-4.3.0-x86_64-linux.tar.gz | 1.7 MB | 2014-02-21 03:24 | 4 |
gringo-4.3.0-x86-linux.tar.gz | 1.1 MB | 2014-02-21 03:24 | 7 |
gringo-4.3.0-win64.zip | 2.4 MB | 2014-02-21 03:24 | 4 |
gringo-4.3.0-win32.zip | 755.5 KB | 2014-02-21 03:24 | 6 |
gringo-4.3.0-source.tar.gz | 1.4 MB | 2014-02-21 03:24 | 4 |
gringo-4.3.0-macos-10.9.tar.gz | 1.3 MB | 2014-02-21 03:24 | 4 |
4.2.1 | |||
README | 6.7 KB | 2013-11-16 19:46 | 3 |
gringo-4.2.1-x86_64-linux.tar.gz | 1.6 MB | 2013-11-16 19:42 | 3 |
gringo-4.2.1-x86-linux.tar.gz | 1.1 MB | 2013-11-16 19:42 | 2 |
gringo-4.2.1-win64.zip | 751.7 KB | 2013-11-16 19:42 | 12 |
gringo-4.2.1-win32.zip | 739.9 KB | 2013-11-16 19:42 | 4 |
gringo-4.2.1-source.tar.gz | 601.3 KB | 2013-11-16 19:42 | 8 |
gringo-4.2.1-macos-10.9.tar.gz | 1.2 MB | 2013-11-16 19:41 | 4 |
4.2.0 | |||
CHANGES | 1.2 KB | 2013-11-02 03:05 | 2 |
README | 6.7 KB | 2013-11-02 03:05 | 1 |
gringo-4.2-x86_64-linux.tar.xz | 1.0 MB | 2013-11-02 03:05 | 5 |
gringo-4.2-win64.zip | 751.7 KB | 2013-11-02 03:05 | 3 |
gringo-4.2-x86-linux.tar.xz | 841.4 KB | 2013-11-02 03:05 | 9 |
gringo-4.2-win32.zip | 740.6 KB | 2013-11-02 03:05 | 3 |
gringo-4.2-source.tar.xz | 457.8 KB | 2013-11-02 03:05 | 1 |
gringo-4.2-macos-10.9.tar.xz | 838.6 KB | 2013-11-02 03:05 | 4 |
4.1.0 | |||
README | 6.6 KB | 2013-06-15 20:32 | 4 |
gringo-4.1-x86_64-linux.tar.gz | 1.6 MB | 2013-06-15 01:04 | 3 |
gringo-4.1-x86-linux.tar.gz | 1.1 MB | 2013-06-15 01:04 | 5 |
gringo-4.1-win64.zip | 742.6 KB | 2013-06-15 01:04 | 5 |
gringo-4.1-win32.zip | 635.3 KB | 2013-06-15 01:04 | 8 |
gringo-4.1-macos-10.8.3.tar.gz | 1.0 MB | 2013-06-15 01:04 | 3 |
gringo-4.1-source.tar.gz | 446.2 KB | 2013-06-15 01:04 | 2 |
CHANGES | 0.4 KB | 2013-06-15 01:04 | 4 |
4.0.0 | |||
gringo-4.0-source.tar.gz | 416.5 KB | 2013-03-28 08:27 | 2 |
gringo-4.0-macos-10.8.3.tar.gz | 863.5 KB | 2013-03-28 07:38 | 3 |
gringo-4.0-win32.zip | 557.6 KB | 2013-03-28 07:38 | 6 |
gringo-4.0-win64.zip | 653.6 KB | 2013-03-28 07:38 | 3 |
gringo-4.0-x86-linux.tar.gz | 819.7 KB | 2013-03-28 07:38 | 3 |
gringo-4.0-x86_64-linux.tar.gz | 966.9 KB | 2013-03-28 07:38 | 3 |
README | 5.1 KB | 2013-03-28 07:38 | 2 |
3.0.5 | |||
gringo-3.0.5-macos-10.8.3.tar.gz | 812.4 KB | 2013-03-28 06:54 | 3 |
gringo-3.0.5-x86-linux.tar.gz | 793.5 KB | 2013-03-08 23:58 | 1 |
gringo-3.0.5-win32.zip | 544.1 KB | 2013-03-08 23:58 | 4 |
gringo-3.0.5-win64.zip | 655.8 KB | 2013-03-08 23:58 | 4 |
CHANGES | 3.6 KB | 2013-03-08 23:58 | 3 |
gringo-3.0.5-source.tar.gz | 530.2 KB | 2013-03-08 23:58 | 2 |
gringo-3.0.5-amd64-linux.tar.gz | 2.4 MB | 2013-03-08 23:58 | 3 |
asprin | |||
1.1.1 | |||
asprin-1.1.1-x86_64-linux.tar.gz | 2.0 MB | 2015-06-27 02:12 | 8 |
asprin-1.1.1-win64.zip | 625.0 KB | 2015-06-27 02:12 | 4 |
asprin-1.1.1-source.tar.gz | 654.7 KB | 2015-06-27 02:12 | 4 |
asprin-1.1.1-macos-10.9.tar.gz | 2.3 MB | 2015-06-27 02:11 | 4 |
1.1.0 | |||
asprin-1.1.0-x86_64-linux.tar.gz | 2.0 MB | 2015-05-08 23:50 | 6 |
asprin-1.1.0-win64.tar.gz | 622.4 KB | 2015-05-08 23:50 | 5 |
asprin-1.1.0-source.tar.gz | 3.2 MB | 2015-05-08 23:50 | 7 |
asprin-1.1.0-macos-10.9.tar.gz | 1.2 MB | 2015-05-08 23:49 | 3 |
README | 0.4 KB | 2015-05-08 23:15 | 2 |
1.0.0 | |||
asprin-1.0.0-win64.tar.gz | 611.8 KB | 2015-01-31 12:48 | 5 |
asprin-1.0.0-x86_64-linux.tar.gz | 2.0 MB | 2015-01-31 12:48 | 7 |
asprin-1.0.0-source.tar.gz | 3.2 MB | 2015-01-31 12:48 | 2 |
asprin-1.0.0-macos-10.9.tar.gz | 1.2 MB | 2015-01-31 12:48 | 7 |
aspcud | |||
1.9.1 | |||
README | 1.7 KB | 2015-05-06 02:46 | 1 |
aspcud-1.9.1-macos-10.9.tar.gz | 2.1 MB | 2015-05-06 02:46 | 2 |
aspcud-1.9.1-source.tar.gz | 68.3 MB | 2015-05-06 02:46 | 9 |
aspcud-1.9.1-win64.zip | 1.7 MB | 2015-05-06 02:46 | 13 |
aspcud-1.9.1-x86_64-linux.tar.gz | 3.2 MB | 2015-05-06 02:46 | 6 |
1.9.0 | |||
README | 1.6 KB | 2014-03-05 05:34 | 3 |
CHANGES | 0.5 KB | 2014-03-05 03:41 | 4 |
aspcud-1.9.0-x86_64-linux.tar.gz | 3.7 MB | 2014-03-05 03:40 | 13 |
aspcud-1.9.0-x86-linux.tar.gz | 3.0 MB | 2014-03-05 03:40 | 3 |
aspcud-1.9.0-win64.zip | 1.6 MB | 2014-03-05 03:40 | 7 |
aspcud-1.9.0-win32.zip | 1.5 MB | 2014-03-05 03:40 | 3 |
aspcud-1.9.0-source.tar.gz | 107.8 KB | 2014-03-05 03:40 | 6 |
aspcud-1.9.0-macos-10.9.tar.gz | 2.3 MB | 2014-03-05 03:40 | 1 |
1.8.0 | |||
aspcud-1.8.0-source.tar.gz | 93.9 KB | 2014-01-10 20:44 | 1 |
aspcud-1.8.0-x86_64-linux.tar.gz | 4.0 MB | 2014-01-10 20:43 | 6 |
guide | |||
2.0 | |||
guide-2.0-examples.tar.gz | 186.7 KB | 2015-05-05 20:57 | 1 |
guide-2.0.pdf | 716.4 KB | 2015-05-05 20:57 | 13 |
guide-2.0-source.tar.gz | 308.5 KB | 2015-05-05 20:57 | 4 |
claspfolio | |||
2.2.0 | |||
claspfolio-2.2.0-x64-linux.tar.gz | 9.2 MB | 2015-04-21 16:40 | 3 |
2.1.0 | |||
claspfolio-2.1.0-x64.tar.gz | 8.0 MB | 2014-10-23 20:55 | 17 |
2.0.0 | |||
claspfolio-2.0.0-x64.tar.gz | 7.9 MB | 2014-07-08 16:44 | 4 |
piclasp | |||
piclasp-1.2.1-x86_64-linux.tar.gz | 40.0 KB | 2015-03-01 18:57 | 3 |
piclasp-1.2.0-x86_64-linux.tar.gz | 41.8 KB | 2015-02-17 21:33 | 3 |
piclasp-1.1.0.tar.gz | 42.6 KB | 2014-08-25 20:36 | 6 |
piclasp-1.0.0.tar.gz | 31.2 KB | 2013-10-25 19:27 | 5 |
claspre | |||
2.0.0 | |||
claspre-2.0.0-src.tar.gz | 343.1 KB | 2015-02-16 21:45 | 6 |
claspre-x68_64-linux.tar.gz | 368.4 KB | 2015-02-16 21:45 | 11 |
clavis | |||
clavis-1.1.1.tar.gz | 445.1 KB | 2013-05-30 21:01 | 6 |
clavis-1.1-source.tar.gz | 445.0 KB | 2013-05-24 05:48 | 6 |
hclasp | |||
1.1.5 | |||
README | 0.3 KB | 2013-05-22 23:01 | 2 |
hclasp-1.1.5-x86_64-linux.tgz | 986.9 KB | 2013-05-22 22:59 | 2 |
hclasp-1.1.5-source.tgz | 399.0 KB | 2013-05-22 22:59 | 5 |
iclingo | |||
3.0.5 | |||
iclingo-3.0.5-macos-10.8.3.tar.gz | 1.3 MB | 2013-03-28 06:56 | 1 |