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

[Cyril Brulebois]

Ralf Treinen <trei...@debian.org> (21/04/2011):
> * Package name    : aspcud
>   Version         : 2011.03.17
>   Upstream Author : Roland Kaminski <kamin...@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

\o/ \o/ \o/

KiBi.

signature.asc
Description: Digital signature