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

To: Debian Bug Tracking System <submit@bugs.debian.org>
Subject: Bug#623601: ITP: aspcud -- a solver for CUDF instances based on answer set programming
From: Ralf Treinen <treinen@debian.org>
Date: Thu, 21 Apr 2011 19:36:26 +0200
Message-id: <[🔎] 20110421173626.4043.35093.reportbug@seneca.free.fr>
Reply-to: Ralf Treinen <treinen@debian.org>, 623601@bugs.debian.org

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:

Follow-Ups:
- Re: Bug#623601: ITP: aspcud -- a solver for CUDF instances based on answer set programming
  - From: Cyril Brulebois <kibi@debian.org>

Prev by Date: Bug#623597: ITP: bcrypt-ruby -- OpenBSD's bcrypt() password hashing algorithm.
Next by Date: Re: Bug#623601: ITP: aspcud -- a solver for CUDF instances based on answer set programming
Previous by thread: Bug#623597: ITP: bcrypt-ruby -- OpenBSD's bcrypt() password hashing algorithm.
Next by thread: Re: Bug#623601: ITP: aspcud -- a solver for CUDF instances based on answer set programming
Index(es):
- Date
- Thread