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

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



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/

KiBi.

Attachment: signature.asc
Description: Digital signature


Reply to: