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 | 1475350427about 2 years ago | |
| aspcud.changes | 0000000151151 Bytes | 1475350428about 2 years ago | 
|
| aspcud.spec | 00000018231.78 KB | 1475350429about 2 years ago |
|
Login required, please login or signup in order to comment