Download List

Project Description

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.

System Requirements

System requirement is not defined

Download Package list

Latest 5 files
Name Size Date Download count
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.gz698.5 KB2016-09-09 00:051
clasp-3.2.0-win32.zip486.8 KB2016-09-09 00:052
clasp-3.2.0-win64.zip593.8 KB2016-09-09 00:057
clasp-3.2.0-x86_64-linux.tar.gz1.2 MB2016-09-09 00:051
clasp-3.2.0-x86_64-macosx.tar.gz609.3 KB2016-09-09 00:050
clasp-3.2.0-x86-linux.tar.gz1.1 MB2016-09-09 00:050
Readme.creole4.5 KB2016-09-09 00:041
3.1.5
clasp-3.1.5-source.tar.gz509.9 KB2016-08-15 16:560
clasp-3.1.5-win32.tgz462.9 KB2016-08-15 16:560
clasp-3.1.5-win64.tgz523.1 KB2016-08-15 16:560
clasp-3.1.5-x86_64-linux.tar.gz1.1 MB2016-08-15 16:561
clasp-3.1.5-x86-linux.tar.gz1.0 MB2016-08-15 16:560
README0.7 KB2016-08-15 16:560
3.1.4
clasp-3.1.4-win32.zip426.9 KB2015-12-10 22:001
clasp-3.1.4-win64.zip522.9 KB2015-12-10 22:000
clasp-3.1.4-x86_64-linux.tar.gz1.1 MB2015-12-10 22:001
clasp-3.1.4-x86-linux.tar.gz1.0 MB2015-12-10 22:001
README0.6 KB2015-12-10 22:000
clasp-3.1.4-source.tar.gz508.8 KB2015-12-10 22:002
3.1.3
clasp-3.1.3-win64-fixed.zip506.2 KB2015-08-05 16:326
README0.4 KB2015-08-01 18:051
clasp-3.1.3-x86-linux.tar.gz1.0 MB2015-08-01 18:053
clasp-3.1.3-x86_64-linux.tar.gz1.1 MB2015-08-01 18:055
clasp-3.1.3-win32.zip460.6 KB2015-08-01 18:047
clasp-3.1.3-source.tar.gz508.1 KB2015-08-01 18:045
3.1.2
clasp-3.1.2-source.tar.gz507.5 KB2015-05-05 18:401
clasp-3.1.2-win32.zip448.7 KB2015-05-05 18:404
clasp-3.1.2-win64.zip507.0 KB2015-05-05 18:402
clasp-3.1.2-x86_64-linux.tar.gz1.1 MB2015-05-05 18:402
clasp-3.1.2-x86-linux.tar.gz1.0 MB2015-05-05 18:405
README0.6 KB2015-05-05 18:404
3.1.1
clasp-3.1.1-win32.zip443.6 KB2014-11-12 19:053
clasp-3.1.1-source.tar.gz504.1 KB2014-11-12 19:056
clasp-3.1.1-x86-linux.tar.gz1.0 MB2014-11-12 19:056
clasp-3.1.1-x86_64-linux.tar.gz1.1 MB2014-11-12 19:054
README0.4 KB2014-11-12 19:052
clasp-3.1.1-win64.zip502.0 KB2014-11-12 19:058
3.1.0
clasp-3.1.0-win64.zip516.6 KB2014-08-15 18:564
clasp-3.1.0-win32.zip456.3 KB2014-08-15 18:568
README1.4 KB2014-08-15 18:562
clasp-3.1.0-x86_64-linux.tar.gz1.1 MB2014-08-15 18:563
clasp-3.1.0-x86-linux.tar.gz1.0 MB2014-08-15 18:564
clasp-3.1.0-source.tar.gz502.9 KB2014-08-15 18:565
3.0.6
clasp-3.0.6-source.tar.gz474.4 KB2014-07-21 23:372
clasp-3.0.6-win32.zip452.3 KB2014-07-21 23:371
clasp-3.0.6-win64.zip511.0 KB2014-07-21 23:371
clasp-3.0.6-x86_64-linux.tar.gz1.1 MB2014-07-21 23:374
clasp-3.0.6-x86-linux.tar.gz986.7 KB2014-07-21 23:371
README0.7 KB2014-07-21 23:372
3.0.5
clasp-3.0.5-x86_64-linux.tar.gz1.1 MB2014-05-19 22:477
clasp-3.0.5-x86-linux.tar.gz983.6 KB2014-05-19 22:4713
clasp-3.0.5-source.tar.gz473.5 KB2014-05-19 22:477
README0.6 KB2014-05-19 22:476
clasp-3.0.5-st-macos-10.9.tar.gz449.9 KB2014-05-19 22:477
clasp-3.0.5-win32.zip451.6 KB2014-05-19 22:474
clasp-3.0.5-win64.zip510.0 KB2014-05-19 22:479
3.0.4
clasp-3.0.4-st-macos-10.9.tar.gz445.1 KB2014-04-24 18:021
clasp-3.0.4-win64.zip509.3 KB2014-04-24 18:012
clasp-3.0.4-win32.zip416.8 KB2014-04-24 18:014
README0.6 KB2014-04-24 18:011
clasp-3.0.4-x86_64-linux.tar.gz1.1 MB2014-04-24 18:011
clasp-3.0.4-x86-linux.tar.gz982.4 KB2014-04-24 18:012
clasp-3.0.4-source.tar.gz472.5 KB2014-04-24 18:019
3.0.3
clasp-3.0.3-win64.zip507.9 KB2014-03-29 02:143
clasp-3.0.3-win32.zip450.1 KB2014-03-29 02:143
README0.3 KB2014-03-29 02:143
clasp-3.0.3-x86_64-linux.tar.gz1.1 MB2014-03-29 02:141
clasp-3.0.3-x86-linux.tar.gz982.3 KB2014-03-29 02:143
clasp-3.0.3-source.tar.gz470.7 KB2014-03-29 02:141
clasp-3.0.3-st-macos-10.9.tar.gz448.1 KB2014-03-29 02:141
3.0.2
clasp-3.0.2-p1-win64.zip509.2 KB2014-03-19 18:067
clasp-3.0.2-p1-win32.zip453.2 KB2014-03-19 18:066
clasp-3.0.2-p1-x86_64-linux.tar.gz1.1 MB2014-03-19 18:062
clasp-3.0.2-p1-x86-linux.tar.gz981.0 KB2014-03-19 18:068
clasp-3.0.2-p1-source.tar.gz470.2 KB2014-03-19 18:062
README1.0 KB2014-03-19 18:063
3.0.1
clasp-3.0.1-x86_64-linux.tar.gz1.1 MB2014-02-21 23:246
clasp-3.0.1-x86-linux.tar.gz976.4 KB2014-02-21 23:247
clasp-3.0.1-win64.tar.gz505.3 KB2014-02-21 23:241
clasp-3.0.1-win32.tar.gz447.9 KB2014-02-21 23:245
clasp-3.0.1-source.tar.gz457.2 KB2014-02-21 23:241
README0.6 KB2014-02-21 23:240
3.0.0
clasp-3.0.0-source.tar.gz456.5 KB2014-02-15 02:222
clasp-3.0.0-win32.tar.gz448.6 KB2014-02-15 02:222
clasp-3.0.0-win64.tar.gz503.7 KB2014-02-15 02:223
clasp-3.0.0-x86_64-linux.tar.gz1.1 MB2014-02-15 02:222
clasp-3.0.0-x86-linux.tar.gz975.7 KB2014-02-15 02:222
README1.7 KB2014-02-15 02:221
2.1.5
clasp-2.1.5-win64.zip444.3 KB2014-01-29 00:082
clasp-2.1.5-source.tar.gz393.3 KB2014-01-29 00:083
clasp-2.1.5-win32.zip396.5 KB2014-01-29 00:083
clasp-2.1.5-x86_64-linux.tar.gz1.2 MB2014-01-29 00:084
clasp-2.1.5-x86-linux.tar.gz1.1 MB2014-01-29 00:083
README0.4 KB2014-01-29 00:083
2.1.4
clasp-2.1.4-source.tar.gz393.1 KB2013-11-26 19:482
clasp-2.1.4-st-win64.tar.gz414.2 KB2013-11-26 19:484
clasp-2.1.4-win32.tar.gz407.8 KB2013-11-26 19:486
clasp-2.1.4-x86_64-linux.tar.gz1.2 MB2013-11-26 19:489
clasp-2.1.4-x86-linux.tar.gz1.1 MB2013-11-26 19:482
README0.4 KB2013-11-26 19:482
2.1.3
clang-500.2.79.patch18.1 KB2013-11-02 00:064
clasp-2.1.3-source.tar.gz388.2 KB2013-04-12 19:007
clasp-2.1.3-x86-linux.tar.gz1.1 MB2013-04-12 19:003
clasp-2.1.3-x86_64-linux.tar.gz1.2 MB2013-04-12 19:006
README0.3 KB2013-04-12 19:006
clasp-2.1.3-win32.tar.gz409.5 KB2013-04-12 19:005
clasp-2.1.3-st-win64.tar.gz414.3 KB2013-04-12 19:005
1.3.11
clasp-1.3.11-source.tar.gz270.3 KB2013-04-05 23:134
clasp-1.3.11-x86-linux.tar.gz708.0 KB2013-04-05 23:132
clasp-1.3.11-win32.tar.gz302.2 KB2013-04-05 23:133
clasp-1.3.11-x86_64-linux.tar.gz789.5 KB2013-04-05 23:132
README0.3 KB2013-04-05 23:134
2.1.2
clasp-2.1.2-source.tar.gz388.2 KB2013-04-05 23:102
clasp-2.1.2-x86-linux.tar.gz1.1 MB2013-04-05 23:104
clasp-2.1.2-x86_64-linux.tar.gz1.2 MB2013-04-05 23:109
README0.7 KB2013-04-05 23:102
clasp-2.1.2-win32.tar.gz409.6 KB2013-04-05 23:106
clasp-2.1.2-st-win64.tar.gz414.3 KB2013-04-05 23:105
clingo
4.5.4
clingo-4.5.4-source.tar.gz1.6 MB2015-12-11 03:091
clingo-4.5.4-win64.zip3.7 MB2015-12-11 03:094
README1.4 KB2015-12-11 03:091
clingo-4.5.4-linux-x86_64.tar.gz4.5 MB2015-12-11 03:092
clingo-4.5.4-macos-10.9.tar.gz4.1 MB2015-12-11 03:093
4.5.3
clingo-4.5.3-linux-x86_64.tar.gz3.6 MB2015-09-21 19:587
clingo-4.5.3-macos-10.9.tar.gz6.4 MB2015-09-21 19:583
clingo-4.5.3-source.tar.gz1.6 MB2015-09-21 19:583
clingo-4.5.3-win64.zip2.7 MB2015-09-21 19:583
README1.3 KB2015-09-21 19:581
4.5.2
clingo-4.5.2-linux-x86_64.tar.gz3.6 MB2015-08-06 01:4311
clingo-4.5.2-macos-10.9.tar.gz6.4 MB2015-08-06 01:436
clingo-4.5.2-source.tar.gz1.6 MB2015-08-06 01:436
clingo-4.5.2-win64.zip2.5 MB2015-08-06 01:4311
README1.2 KB2015-08-06 01:434
4.5.1
clingo-4.5.1-linux-x86_64.tar.gz3.6 MB2015-07-10 20:4413
clingo-4.5.1-macos-10.9.tar.gz6.4 MB2015-07-10 20:446
clingo-4.5.1-source.tar.gz1.6 MB2015-07-10 20:446
clingo-4.5.1-win64.zip2.5 MB2015-07-10 20:449
README1.7 KB2015-07-10 20:449
4.5.0
clingo-4.5.0-macos-10.9.tar.gz7.3 MB2015-05-11 21:336
clingo-4.5.0-win64.zip3.5 MB2015-05-09 00:223
clingo-4.5.0-source.tar.gz1.6 MB2015-05-05 23:522
clingo-4.5.0-x86_64-linux.tar.gz4.6 MB2015-05-05 23:523
README2.3 KB2015-05-05 23:524
4.4.0
clingo-4.4.0-macos-10.9.tar.gz2.9 MB2014-10-23 00:025
CHANGES3.3 KB2014-08-18 23:271
README6.7 KB2014-08-18 23:162
clingo-4.4.0-x86_64-linux.tar.gz2.9 MB2014-08-18 23:167
clingo-4.4.0-x86-linux.tar.gz2.4 MB2014-08-18 23:163
clingo-4.4.0-win64.tar.gz2.0 MB2014-08-18 23:165
clingo-4.4.0-win32.tar.gz2.0 MB2014-08-18 23:168
clingo-4.4.0-source.tar.gz1.4 MB2014-08-18 23:167
4.3.0
README6.7 KB2014-02-21 03:161
CHANGES2.2 KB2014-02-21 03:161
clingo-4.3.0-x86_64-linux.tar.gz2.1 MB2014-02-21 03:163
clingo-4.3.0-x86-linux.tar.gz1.5 MB2014-02-21 03:1610
clingo-4.3.0-win64.zip2.8 MB2014-02-21 03:168
clingo-4.3.0-win32.zip1.2 MB2014-02-21 03:165
clingo-4.3.0-source.tar.gz1.4 MB2014-02-21 03:161
clingo-4.3.0-macos-10.9.tar.gz1.9 MB2014-02-21 03:162
4.2.1
CHANGES1.7 KB2013-11-17 01:501
README6.7 KB2013-11-16 19:532
clingo-4.2.1-x86_64-linux.tar.gz2.1 MB2013-11-16 19:535
clingo-4.2.1-x86-linux.tar.gz1.5 MB2013-11-16 19:523
clingo-4.2.1-win64.zip1.1 MB2013-11-16 19:522
clingo-4.2.1-win32.zip1.2 MB2013-11-16 19:522
clingo-4.2.1-source.tar.gz601.5 KB2013-11-16 19:523
clingo-4.2.1-macos-10.9.tar.gz1.9 MB2013-11-16 19:514
4.2.0
clingo-4.2-x86_64-linux.tar.xz1.4 MB2013-11-02 03:063
clingo-4.2-x86-linux.tar.xz1.2 MB2013-11-02 03:062
clingo-4.2-win64.zip1.1 MB2013-11-02 03:065
clingo-4.2-source.tar.xz457.8 KB2013-11-02 03:065
clingo-4.2-win32.zip1.2 MB2013-11-02 03:062
clingo-4.2-macos-10.9.tar.xz1.3 MB2013-11-02 03:062
CHANGES1.2 KB2013-11-02 03:062
README6.7 KB2013-11-02 03:061
3.0.5
clingo-3.0.5-macos-10.8.3.tar.gz1.3 MB2013-03-28 06:558
gringo
4.5.4
gringo-4.5.4-linux-x86_64.tar.gz4.5 MB2015-12-11 03:080
gringo-4.5.4-macos-10.9.tar.gz4.1 MB2015-12-11 03:080
gringo-4.5.4-source.tar.gz1.6 MB2015-12-11 03:082
gringo-4.5.4-win64.zip3.7 MB2015-12-11 03:082
README1.4 KB2015-12-11 03:081
4.5.3
gringo-4.5.3-linux-x86_64.tar.gz3.6 MB2015-09-21 20:006
gringo-4.5.3-macos-10.9.tar.gz6.4 MB2015-09-21 20:008
gringo-4.5.3-source.tar.gz1.6 MB2015-09-21 20:007
gringo-4.5.3-win64.zip2.7 MB2015-09-21 20:004
README1.3 KB2015-09-21 20:002
4.5.2
gringo-4.5.2-source.tar.gz1.6 MB2015-08-06 01:4211
gringo-4.5.2-win64.zip2.5 MB2015-08-06 01:427
gringo-4.5.2-linux-x86_64.tar.gz3.6 MB2015-08-06 01:4214
gringo-4.5.2-macos-10.9.tar.gz6.4 MB2015-08-06 01:424
README1.2 KB2015-08-06 01:422
4.5.1
gringo-4.5.1-linux-x86_64.tar.gz3.6 MB2015-07-10 20:444
gringo-4.5.1-macos-10.9.tar.gz6.4 MB2015-07-10 20:449
gringo-4.5.1-source.tar.gz1.6 MB2015-07-10 20:443
gringo-4.5.1-win64.zip2.5 MB2015-07-10 20:444
README1.7 KB2015-07-10 20:4412
4.5.0
gringo-4.5.0-x86_64-linux.tar.gz4.6 MB2015-05-05 23:516
README2.3 KB2015-05-05 23:5110
gringo-4.5.0-macos-10.9.tar.gz6.8 MB2015-05-05 23:514
gringo-4.5.0-source.tar.gz1.6 MB2015-05-05 23:516
gringo-4.5.0-win64.zip3.4 MB2015-05-05 23:513
4.4.0
gringo-4.4.0-macos-10.9.tar.gz1.4 MB2014-10-23 00:014
CHANGES3.3 KB2014-08-18 23:281
README6.7 KB2014-08-18 23:151
gringo-4.4.0-x86_64-linux.tar.gz2.4 MB2014-08-18 23:154
gringo-4.4.0-x86-linux.tar.gz1.9 MB2014-08-18 23:158
gringo-4.4.0-win64.zip1.5 MB2014-08-18 23:153
gringo-4.4.0-win32.zip1.5 MB2014-08-18 23:152
gringo-4.4.0-source.tar.gz1.4 MB2014-08-18 23:153
4.3.0
CHANGES2.2 KB2014-02-21 03:242
README6.7 KB2014-02-21 03:243
gringo-4.3.0-x86_64-linux.tar.gz1.7 MB2014-02-21 03:244
gringo-4.3.0-x86-linux.tar.gz1.1 MB2014-02-21 03:247
gringo-4.3.0-win64.zip2.4 MB2014-02-21 03:244
gringo-4.3.0-win32.zip755.5 KB2014-02-21 03:246
gringo-4.3.0-source.tar.gz1.4 MB2014-02-21 03:244
gringo-4.3.0-macos-10.9.tar.gz1.3 MB2014-02-21 03:244
4.2.1
README6.7 KB2013-11-16 19:463
gringo-4.2.1-x86_64-linux.tar.gz1.6 MB2013-11-16 19:423
gringo-4.2.1-x86-linux.tar.gz1.1 MB2013-11-16 19:422
gringo-4.2.1-win64.zip751.7 KB2013-11-16 19:4212
gringo-4.2.1-win32.zip739.9 KB2013-11-16 19:424
gringo-4.2.1-source.tar.gz601.3 KB2013-11-16 19:428
gringo-4.2.1-macos-10.9.tar.gz1.2 MB2013-11-16 19:414
4.2.0
CHANGES1.2 KB2013-11-02 03:052
README6.7 KB2013-11-02 03:051
gringo-4.2-x86_64-linux.tar.xz1.0 MB2013-11-02 03:055
gringo-4.2-win64.zip751.7 KB2013-11-02 03:053
gringo-4.2-x86-linux.tar.xz841.4 KB2013-11-02 03:059
gringo-4.2-win32.zip740.6 KB2013-11-02 03:053
gringo-4.2-source.tar.xz457.8 KB2013-11-02 03:051
gringo-4.2-macos-10.9.tar.xz838.6 KB2013-11-02 03:054
4.1.0
README6.6 KB2013-06-15 20:324
gringo-4.1-x86_64-linux.tar.gz1.6 MB2013-06-15 01:043
gringo-4.1-x86-linux.tar.gz1.1 MB2013-06-15 01:045
gringo-4.1-win64.zip742.6 KB2013-06-15 01:045
gringo-4.1-win32.zip635.3 KB2013-06-15 01:048
gringo-4.1-macos-10.8.3.tar.gz1.0 MB2013-06-15 01:043
gringo-4.1-source.tar.gz446.2 KB2013-06-15 01:042
CHANGES0.4 KB2013-06-15 01:044
4.0.0
gringo-4.0-source.tar.gz416.5 KB2013-03-28 08:272
gringo-4.0-macos-10.8.3.tar.gz863.5 KB2013-03-28 07:383
gringo-4.0-win32.zip557.6 KB2013-03-28 07:386
gringo-4.0-win64.zip653.6 KB2013-03-28 07:383
gringo-4.0-x86-linux.tar.gz819.7 KB2013-03-28 07:383
gringo-4.0-x86_64-linux.tar.gz966.9 KB2013-03-28 07:383
README5.1 KB2013-03-28 07:382
3.0.5
gringo-3.0.5-macos-10.8.3.tar.gz812.4 KB2013-03-28 06:543
gringo-3.0.5-x86-linux.tar.gz793.5 KB2013-03-08 23:581
gringo-3.0.5-win32.zip544.1 KB2013-03-08 23:584
gringo-3.0.5-win64.zip655.8 KB2013-03-08 23:584
CHANGES3.6 KB2013-03-08 23:583
gringo-3.0.5-source.tar.gz530.2 KB2013-03-08 23:582
gringo-3.0.5-amd64-linux.tar.gz2.4 MB2013-03-08 23:583
asprin
1.1.1
asprin-1.1.1-x86_64-linux.tar.gz2.0 MB2015-06-27 02:128
asprin-1.1.1-win64.zip625.0 KB2015-06-27 02:124
asprin-1.1.1-source.tar.gz654.7 KB2015-06-27 02:124
asprin-1.1.1-macos-10.9.tar.gz2.3 MB2015-06-27 02:114
1.1.0
asprin-1.1.0-x86_64-linux.tar.gz2.0 MB2015-05-08 23:506
asprin-1.1.0-win64.tar.gz622.4 KB2015-05-08 23:505
asprin-1.1.0-source.tar.gz3.2 MB2015-05-08 23:507
asprin-1.1.0-macos-10.9.tar.gz1.2 MB2015-05-08 23:493
README0.4 KB2015-05-08 23:152
1.0.0
asprin-1.0.0-win64.tar.gz611.8 KB2015-01-31 12:485
asprin-1.0.0-x86_64-linux.tar.gz2.0 MB2015-01-31 12:487
asprin-1.0.0-source.tar.gz3.2 MB2015-01-31 12:482
asprin-1.0.0-macos-10.9.tar.gz1.2 MB2015-01-31 12:487
aspcud
1.9.1
README1.7 KB2015-05-06 02:461
aspcud-1.9.1-macos-10.9.tar.gz2.1 MB2015-05-06 02:462
aspcud-1.9.1-source.tar.gz68.3 MB2015-05-06 02:469
aspcud-1.9.1-win64.zip1.7 MB2015-05-06 02:4613
aspcud-1.9.1-x86_64-linux.tar.gz3.2 MB2015-05-06 02:466
1.9.0
README1.6 KB2014-03-05 05:343
CHANGES0.5 KB2014-03-05 03:414
aspcud-1.9.0-x86_64-linux.tar.gz3.7 MB2014-03-05 03:4013
aspcud-1.9.0-x86-linux.tar.gz3.0 MB2014-03-05 03:403
aspcud-1.9.0-win64.zip1.6 MB2014-03-05 03:407
aspcud-1.9.0-win32.zip1.5 MB2014-03-05 03:403
aspcud-1.9.0-source.tar.gz107.8 KB2014-03-05 03:406
aspcud-1.9.0-macos-10.9.tar.gz2.3 MB2014-03-05 03:401
1.8.0
aspcud-1.8.0-source.tar.gz93.9 KB2014-01-10 20:441
aspcud-1.8.0-x86_64-linux.tar.gz4.0 MB2014-01-10 20:436
guide
2.0
guide-2.0-examples.tar.gz186.7 KB2015-05-05 20:571
guide-2.0.pdf716.4 KB2015-05-05 20:5713
guide-2.0-source.tar.gz308.5 KB2015-05-05 20:574
claspfolio
2.2.0
claspfolio-2.2.0-x64-linux.tar.gz9.2 MB2015-04-21 16:403
2.1.0
claspfolio-2.1.0-x64.tar.gz8.0 MB2014-10-23 20:5517
2.0.0
claspfolio-2.0.0-x64.tar.gz7.9 MB2014-07-08 16:444
piclasp
piclasp-1.2.1-x86_64-linux.tar.gz40.0 KB2015-03-01 18:573
piclasp-1.2.0-x86_64-linux.tar.gz41.8 KB2015-02-17 21:333
piclasp-1.1.0.tar.gz42.6 KB2014-08-25 20:366
piclasp-1.0.0.tar.gz31.2 KB2013-10-25 19:275
claspre
2.0.0
claspre-2.0.0-src.tar.gz343.1 KB2015-02-16 21:456
claspre-x68_64-linux.tar.gz368.4 KB2015-02-16 21:4511
clavis
clavis-1.1.1.tar.gz445.1 KB2013-05-30 21:016
clavis-1.1-source.tar.gz445.0 KB2013-05-24 05:486
hclasp
1.1.5
README0.3 KB2013-05-22 23:012
hclasp-1.1.5-x86_64-linux.tgz986.9 KB2013-05-22 22:592
hclasp-1.1.5-source.tgz399.0 KB2013-05-22 22:595
iclingo
3.0.5
iclingo-3.0.5-macos-10.8.3.tar.gz1.3 MB2013-03-28 06:561