Source: aspcud
Section: admin
Priority: extra
Maintainer: Ralf Treinen <treinen@debian.org>
Build-Depends: debhelper (>= 9),
  libboost-dev (>= 1.46), cmake (>= 2.6), re2c
Standards-Version: 3.9.5
Homepage: http://www.cs.uni-potsdam.de/wv/aspcud/
Vcs-Git: git://git.debian.org/git/collab-maint/aspcud.git
Vcs-Browser: http://git.debian.org/?p=collab-maint/aspcud.git;a=summary
XS-Testsuite: autopkgtest

Package: aspcud
Architecture: any
Depends: ${misc:Depends}, ${shlibs:Depends},
 python,
 gringo (>= 4),
 clasp (>= 2.1.0), clasp (<< 3)
Provides: cudf-solver
Description: CUDF solver based on Answer Set Programming
 Aspcud is an experimental solver for package dependencies. A package
 universe and a request to install, remove or upgrade packages have
 to be encoded in the CUDF format.
