EnglishFrenchSpanish

Ad


OnWorks favicon

packup - Online in the Cloud

Run packup in OnWorks free hosting provider over Ubuntu Online, Fedora Online, Windows online emulator or MAC OS online emulator

This is the command packup that can be run in the OnWorks free hosting provider using one of our multiple free online workstations such as Ubuntu Online, Fedora Online, Windows online emulator or MAC OS online emulator

PROGRAM:

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 optimization pseudo-Boolean solver in order to solve the problem.
By default minisat+ [ES06] is used for that purpose but a different solver can be used by
specifying the pertaining command line option.

If input_file_name is '-', input is read from the standard input. If the output_file_name
is omitted, output is produced to the standard output.

OPTIONS


-t Use trendy criterion

-p Use paranoid criterion

-u cs Use user criterion cs. A criterion is a lexicographic combination of the utility
functions removed, notuptodate, unmet_recommends, new, and changed. Each of them
with a polarity ("+" for a function to maximize, "-" for a function to minimize).
The functions are listed in decreasing order of priority, and separated by the
symbol ",". For instance, the paranoid criterion could be written as
-removed,-changed. For more details see: http://www.mancoosi.org/misc-
live/20101126/criteria/

--external-solver
command for the external solver default 'minisat+ -ansi'

--multiplication-string
string between coefficients and variables when communicating to the solver, default
'*'

--temporary-directory DIR
directory where temporary files are created. If this option is not given then the
value of $TMPDIR is used if defined, otherwise temporary files are placed in
'/tmp'.

--leave-temporary-files
do not delete temporary files

Use packup online using onworks.net services


Free Servers & Workstations

Download Windows & Linux apps

  • 1
    Brackets
    Brackets
    Brackets is a free, modern open-source
    text editor made especially for Web
    Development. Written in HTML, CSS, and
    JavaScript with focused visual tools and
    prepr...
    Download Brackets
  • 2
    Free Pascal Compiler
    Free Pascal Compiler
    A 32/64/16-bit Pascal compiler for
    Win32/64/CE, Linux, Mac OS X/iOS,
    Android, FreeBSD, OS/2, Game Boy
    Advance, Nintendo NDS and DOS;
    semantically compatible wi...
    Download Free Pascal Compiler
  • 3
    Canon EOS DIGITAL Info
    Canon EOS DIGITAL Info
    Canon doesn�t have shutter count
    included on the EXIF information of an
    image file, as opposed to Nikon and
    Pentax. There�s no official Canon based
    application ...
    Download Canon EOS DIGITAL Info
  • 4
    rEFInd
    rEFInd
    rEFInd is a fork of the rEFIt boot
    manager. Like rEFIt, rEFInd can
    auto-detect your installed EFI boot
    loaders and it presents a pretty GUI
    menu of boot option...
    Download rEFInd
  • 5
    ExpressLuke GSI
    ExpressLuke GSI
    This SourceForge download page was to
    grant users to download my source built
    GSIs, based upon phhusson's great
    work. I build both Android Pie and
    Android 1...
    Download ExpressLuke GSI
  • 6
    Music Caster
    Music Caster
    Music Caster is a tray music player
    that lets you cast your local music to a
    Google Cast device. On the first run,
    you will need to click the arrow in your
    tas...
    Download Music Caster
  • More »

Linux commands

Ad