EnglishFrenchSpanish

Ad


OnWorks favicon

cudf2lp - Online in the Cloud

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

This is the command cudf2lp 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


cudf2lp - a preprocessor for CUDF documents

SYNOPSIS


cudf2lp [OPTION]... [FILE]

DESCRIPTION


cudf2lp simplifies a given CUDF specification and converts it into a set facts suitable to
be processed with an ASP grounder and solver - e.g., gringo(1) and clasp(1). It is
intended to be called by aspcud(1), but may also be used independently.

It reads from the given FILE and from standard input if ommited.

OPTIONS


cudf2lp supports the following options:

-h, --help
print help text

-v, --version
print version and license information

-V, --verbose[=N]
set the verbosity level to N or the maximum if omitted

-c CRITS, --criteria=CRITS
preprocess for specific optimization criteria (defaults to none):
CRITS: none | paranoid | trendy | CRIT\(','CRIT\)*
CRIT : SIGN count(SET) |
| sign sum(SET,ATTR)
| sign unsat_recommends(SET)
| sign aligned(SET,ATTR,ATTR)
| sign notuptodate(SET)
SIGN : '+' | '-'
ATTR : CUDF attribute name
SET : solution | changed | new | removed | up | down
| installrequest | upgraderequest | request

for backwards compatibility, the following aliases can be used:
new = count(new)
removed = count(removed)
changed = count(changed)
notuptodate = notuptodate(solution)
unsat_recommends = unsat_recommends(solution)
sum(name) = sum(name,solution)

--addall
disable preprocessing and add all packages

Use cudf2lp online using onworks.net services


Free Servers & Workstations

Download Windows & Linux apps

  • 1
    SMPlayer
    SMPlayer
    SMPlayer is a free media player for
    Windows and Linux with built-in codecs
    that can also play YouTube videos. One
    of the most interesting features of
    SMPlayer:...
    Download SMPlayer
  • 2
    AAX to MP3
    AAX to MP3
    Usage: - Install the Audible Manager
    and open a file of your account. - Sign
    in into your audible account (in the
    application). Now the program can
    convert you...
    Download AAX to MP3
  • 3
    TestLink
    TestLink
    TestLink is a web based Test Management
    tool. The application provides Test
    specification, Test plans and execution,
    Reporting, Requirements specification
    and ...
    Download TestLink
  • 4
    XDXF - XML Dictionary Exchange Format
    XDXF - XML Dictionary Exchange Format
    XDXF is a project to unite all existing
    open dictionaries and provide both users
    and developers with universal XML-based
    format, convertible from and to other ...
    Download XDXF - XML Dictionary Exchange Format
  • 5
    Transmission Remote GUI
    Transmission Remote GUI
    Transmission Remote GUI is a feature
    rich cross platform front-end to
    remotely control a Transmission
    Bit-Torrent client daemon via its RPC
    protocol. Transmissi...
    Download Transmission Remote GUI
  • 6
    s3cmd
    s3cmd
    Open-source tool to access Amazon S3
    file storage. S3cmd is a free command
    line tool and client for uploading,
    retrieving and managing data in Amazon
    S3 and ot...
    Download s3cmd
  • More »

Linux commands

Ad