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

packup

CUDF solver based on pseudo-Boolean constraints

Variants:
packup is a solver for the package upgradability problem specified in the CUDF format. It repeatedly invokes an optimization pseudo-Boolean solver in order to solve the problem. By default minisat+ is used for that purpose but a different solver can be used by specifying the pertaining command line option.
Homepage:
Package version:0.6-1
Architecture:amd64
Distribution:Debian
Filename:packup_0.6-1_amd64.deb

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

PACKUP(1)                   User Commands                  PACKUP(1)



NAME
       PackUP --  PACKage Upgradability Problem solver


SYNOPSIS
       packup [OPTIONS] input_file_name [output_file_name]


DESCRIPTION
       packup  is  a  solver  for  the package upgradability problem
       specified in CUDF [TZ09].  It repeatedly invokes an optimiza‐
       tion pseudo-Boolean solver in order t
more»

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

packup (0.6-1) unstable; urgency=low

  * New upstream release.

 -- Ralf Treinen <treinen@debian.org>  Wed, 15 Jun 2011 22:12:11 +0200

packup (0.5-3) unstable; urgency=low

  * Remove wrapper since no longer needed
  * Use interpolation variables in solver specification file, add description

 -- Ralf Treinen <treinen@debian.org>  Fri, 10 Jun 2011 21:39:00 +0200

packup (0.5-2) unstable; urgency
more»

/usr/share/doc/packup/copyright

Upstream-Name: packup
Upstream-Contact: Mikoláš Janota <mikolas.janota@gmail.com>
Source: http://sat.inesc-id.pt/~mikolas/drop/packup.tgz
Licence: GPL-3+

Files: *
Copyright:
Licence: GPL-3+
 This program is free software: you can redistribute it and/or modify
 it under the terms of the GNU General Public License as published by
 the Free Software Foundation, either version 3 of the License, or 
more»

Browse inside packup_0.6-1_amd64.deb

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

Download packup_0.6-1_amd64.deb

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