| Name | Modified | Size | Downloads | Status |
|---|---|---|---|---|
| Totals: 13 Items | ||||
| hclasp | < 1 hour ago | |||
| clavis | < 4 hours ago | |||
| clasp | 2013-04-12 |  |
||
| gringo | 2013-03-27 | |
||
| clingo | 2013-03-08 | |
||
| iclingo | 2013-03-08 | |
||
| claspD | 2012-11-22 | |
||
| clingcon | 2012-11-21 | |
||
| claspfolio | 2011-07-04 | |
||
| coala | 2010-11-17 | |
||
| potassco_guide | 2010-10-05 | |
||
| claspre | 2009-10-12 | |
||
| claspar | 2009-05-12 | |