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

Thu, 21 Apr 2011 10:57:15 -0700 

Ralf Treinen <[email protected]> (21/04/2011):
> * Package name    : aspcud
>   Version         : 2011.03.17
>   Upstream Author : Roland Kaminski <[email protected]>
> * 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 via email to