Filewatcher File Search File Search
Catalog
Content Search
» » » » »

aspcud

CUDF solver based on Answer Set Programming

Variants:
Aspcud is an experimental solver for package dependencies. A package universe and a request to install, remove or upgrade packages have to be encoded in the CUDF format.
Homepage:
Package version:2011.03.17.dfsg-6
Architecture:s390
Distribution:Debian
Filename:aspcud_2011.03.17.dfsg-6_s390.deb

/usr/share/man/man1/aspcud.1.gz

aspcud(1)                   USER COMMANDS                  aspcud(1)



NAME
       aspcud - solve dependencies between packages


SYNOPSIS
       aspcud input-file output-file criterion


DESCRIPTION
       aspcud  solves  package installation/removal/upgrade problems
       expressed in the CUDF format. It is intended to be called  by
       package installers, but may also be used independently
more»

/usr/share/doc/aspcud/changelog.Debian.gz

aspcud (2011.03.17.dfsg-6) unstable; urgency=low

  * Restored build-dependency on libboost-dev which was accidentially
    changed in the last upload.
  * Restored changelog-entry of version 2011.03.17.dfsg-4 that was 
    accidentially mangled in the upload of 2011.03.17.dfsg-5.

 -- Ralf Treinen <treinen@debian.org>  Fri, 07 Sep 2012 10:33:50 +0900

aspcud (2011.03.17.dfsg-5) unstable; urgency=
more»

/usr/share/doc/aspcud/copyright

Format: http://www.debian.org/doc/packaging-manuals/copyright-format/1.0/
Upstream-Name: aspcud
Upstream-Contact: Roland Kaminski <kaminski@cs.uni-potsdam.de>
Source: https://potassco.svn.sourceforge.net/svnroot/potassco/trunk/aspcud/
Copyright: 2010, Roland Kaminski <kaminski@cs.uni-potsdam.de>
License: GPL-3+
Comment: cmake/macros.cmake has been removed from the tarball since it
  has a BSD lice
more»

Browse inside aspcud_2011.03.17.dfsg-6_s390.deb

         [DIR]DEBIAN/ (2)  65535+ mirrors
         [DIR]usr/ (3)  65535+ mirrors

Download aspcud_2011.03.17.dfsg-6_s390.deb

Results 1 - 1 of 1
Help - FTP Sites List - Software Dir.
Search over 15 billion files
© 1997-2016 FileWatcher.com