Skip site navigation (1)Skip section navigation (2)

FreeBSD Manual Pages

  
 
  

home | help
cudf2lp(1)			 USER COMMANDS			    cudf2lp(1)

NAME
       cudf2lp - a preprocessor	for CUDF documents

SYNOPSIS
       cudf2lp [OPTION]... [FILE]

DESCRIPTION
       cudf2lp	simplifies  a  given CUDF specification	and converts it	into a
       set of 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 as-
       pcud(1),	but may	also be	used independently.

       It reads	from the given FILE or 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, --criterion=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.

Version	1.9.4		      September	19, 2017		    cudf2lp(1)

NAME | SYNOPSIS | DESCRIPTION | OPTIONS | AUTHOR | SEE ALSO

Want to link to this manual page? Use this URL:
<https://www.freebsd.org/cgi/man.cgi?query=cudf2lp&sektion=1&manpath=FreeBSD+12.2-RELEASE+and+Ports>

home | help