aspcud
http://www.cs.uni-potsdam.de/wv/aspcud/
Solver for package problems in CUDF format using ASP
Source Files 
| Filename | Size | Changed | Actions |
|---|---|---|---|
| aspcud-1.9.1-source.tar.gz | 006992240466.7 MB | 1475350427over 1 year ago | |
| aspcud.changes | 0000000151151 Bytes | 1475350428over 1 year ago | 
|
| aspcud.spec | 00000018231.78 KB | 1475350429over 1 year ago |
|