FAQ Search Today's Posts Mark Forums Read
» Video Reviews

» Linux Archive

Linux-archive is a website aiming to archive linux email lists and to make them easily accessible for linux users/developers.


» Sponsor

» Partners

» Sponsor

Go Back   Linux Archive > Debian > Debian Development

 
 
LinkBack Thread Tools
 
Old 04-21-2011, 05:36 PM
Ralf Treinen
 
Default Bug#623601: ITP: aspcud -- a solver for CUDF instances based on answer set programming

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.



--
To UNSUBSCRIBE, email to debian-devel-REQUEST@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org
Archive: 20110421173626.4043.35093.reportbug@seneca.free.fr ">http://lists.debian.org/20110421173626.4043.35093.reportbug@seneca.free.fr
 
Old 04-21-2011, 05:55 PM
Cyril Brulebois
 
Default 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.
 
Old 04-22-2011, 04:37 AM
Christian PERRIER
 
Default Bug#623601: ITP: aspcud -- a solver for CUDF instances based on answer set programming

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..:-)
 

Thread Tools




All times are GMT. The time now is 03:28 AM.

VBulletin, Copyright ©2000 - 2014, Jelsoft Enterprises Ltd.
Content Relevant URLs by vBSEO ©2007, Crawlability, Inc.
Copyright 2007 - 2008, www.linux-archive.org