- Committer: Thomas Krennwallner
- Date: 2012-01-05 07:17:31 UTC
- Revision ID: tkren@kr.tuwien.ac.at-20120105071731-nucfhtzahoos03jo
Fix oneiric upload.
| Filename | Latest Rev | Last Changed | Committer | Comment | Size | ||
|---|---|---|---|---|---|---|---|
 .. |
|||||||
asperix
|
33 | 13 years ago | Thomas Krennwallner | Added asperix solver. |
|
||
|
bool2cnf
|
163 | 13 years ago | Thomas Krennwallner | Initial bool2cnf. |
|
||
|
clasp
|
1 | 13 years ago | Thomas Krennwallner | Initial import |
|
||
|
claspd
|
1 | 13 years ago | Thomas Krennwallner | Initial import |
|
||
|
cmodels
|
32 | 13 years ago | Thomas Krennwallner | Added initial cmodels packaging. |
|
||
|
coala
|
102 | 13 years ago | Thomas Krennwallner | Add coala. |
|
||
|
dlv-installer
|
1 | 13 years ago | Thomas Krennwallner | Initial import |
|
||
|
dlvhex
|
45 | 13 years ago | Thomas Krennwallner | Added dlvhex. |
|
||
|
dlvhex-aggregateplugin
|
58 | 13 years ago | Thomas Krennwallner | Initial dlvhex-aggregateplugin. |
|
||
|
dlvhex-dlplugin
|
77 | 13 years ago | Thomas Krennwallner | Add dlvhex-dlplugin. |
|
||
|
dlvhex-mcsieplugin
|
79 | 13 years ago | Thomas Krennwallner | Add dlvhex-mcsieplugin. |
|
||
|
dlvhex-scriptplugin
|
72 | 13 years ago | Thomas Krennwallner | Added dlvhex-scriptplugin. |
|
||
|
dlvhex-stringplugin
|
76 | 13 years ago | Thomas Krennwallner | Add dlvhex-stringplugin. |
|
||
|
dlvhex-wordnetplugin
|
83 | 13 years ago | Thomas Krennwallner | Add dlvhex-wordnetplugin. |
|
||
|
gringo
|
1 | 13 years ago | Thomas Krennwallner | Initial import |
|
||
|
lparse
|
1 | 13 years ago | Thomas Krennwallner | Initial import |
|
||
|
potassco-guide
|
95 | 13 years ago | Thomas Krennwallner | Add potassco-guide. |
|
||
|
relsat
|
18 | 13 years ago | Thomas Krennwallner | Add relsat. |
|
||
|
run
|
143 | 13 years ago | Thomas Krennwallner | Add run package |
|
||
|
smodels
|
1 | 13 years ago | Thomas Krennwallner | Initial import |
|
||
|
smodels-ie
|
9 | 13 years ago | Thomas Krennwallner | Added smodels-ie. |
|
||
|
sup-lp
|
8 | 13 years ago | Thomas Krennwallner | Rename sup to sup-lp. |
|
||