[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#623601: ITP: aspcud -- a solver for CUDF instances based on answer set programming

Package: wnpp
Severity: wishlist
Owner: Ralf Treinen <treinen@debian.org>

* Package name    : aspcud
  Version         : 2011.03.17
  Upstream Author : Roland Kaminski <kaminski@cs.uni-potsdam.de>
* URL             : http://www.cs.uni-potsdam.de/wv/aspcud/
* License         : GPL3+
  Programming Lang: C++
  Description     : a CUDF solver based on answer set programming
 Aspcud is a solver for package dependencies. A package universe and a
 request to install, remove or upgrade packages have to be encoded in
 CUDF, a distribution-independent format for expressing inter-package
 relationships. Aspcud returns a solution in the same format.

Reply to: