GSP
Quick Navigator

Search Site

Unix VPS
A - Starter
B - Basic
C - Preferred
D - Commercial
MPS - Dedicated
Previous VPSs
* Sign Up! *

Support
Contact Us
Online Help
Handbooks
Domain Status
Man Pages

FAQ
Virtual Servers
Pricing
Billing
Technical

Network
Facilities
Connectivity
Topology Map

Miscellaneous
Server Agreement
Year 2038
Credits
 

USA Flag

 

 

Man Pages


Manual Reference Pages  -  CUDF2LP (1)

NAME

cudf2lp - a preprocessor for CUDF documents

CONTENTS

Synopsis
Description
Options
Author
See Also

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

AUTHOR

cudf2lp has been written by Roland Kaminski.

SEE ALSO

aspcud(1), gringo(1), clasp(1), and <http://www.mancoosi.org/cudf/> for the specification of the CUDF format.
Search for    or go to Top of page |  Section 1 |  Main Index


Version 1.9.1 CUDF2LP (1) March 25, 2015

Powered by GSP Visit the GSP FreeBSD Man Page Interface.
Output converted with manServer 1.07.