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

[Christian PERRIER <bubulle@debian.org>]

Quoting Cyril Brulebois (kibi@debian.org):
> Ralf Treinen <treinen@debian.org> (21/04/2011):
> > * 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
> 
> \o/ \o/ \o/


Even more without the leading article in the package description..:-)

Attachment: signature.asc
Description: Digital signature