To jest polecenie cudf2lp, które można uruchomić w bezpłatnym dostawcy hostingu OnWorks przy użyciu jednej z naszych wielu bezpłatnych stacji roboczych online, takich jak Ubuntu Online, Fedora Online, emulator online systemu Windows lub emulator online systemu MAC OS
PROGRAM:
IMIĘ
cudf2lp - preprocesor dokumentów CUDF
STRESZCZENIE
cudf2lp [OPCJA]... [FILE]
OPIS
cudf2lp upraszcza daną specyfikację CUDF i przekształca ją w odpowiedni zestaw faktów
być przetwarzane za pomocą uziemiacza i solwera ASP - np. gringo(1) i zapięcie(1). To jest
przeznaczony do wezwania przez aspcud(1), ale można je również stosować niezależnie.
Czyta z podanego PLIKU i ze standardowego wejścia, jeśli zostało pominięte.
OPCJE
cudf2lp obsługuje następujące opcje:
-h, --help
wydrukuj tekst pomocy
-v, --wersja
wersja do druku i informacje o licencji
-V, --gadatliwy[=N]
ustaw poziom szczegółowości na N lub maksimum, jeśli zostało pominięte
-c KRYTY, --kryteria=KRYTY
przetwarzanie wstępne dla określonych kryteriów optymalizacji (domyślnie brak):
KRYTY: brak | paranoik | modny | KRYTYCZNY\(','KRYTYCZNY\)*
KRYTYCZNY : ZNAK liczyć(SET) |
| znak suma(SET,ATTR)
| znak unsat_poleca(SET)
| znak wyrównany(SET,ATTR,ATTR)
| znak nieaktualne(SET)
ZNAK : '+' | „-”
ATTR : nazwa atrybutu CUDF
SET : rozwiązanie | zmieniony | nowy | usunięty | w górę | w dół
| żądanie instalacji | żądanie aktualizacji | wniosek
w celu zapewnienia kompatybilności wstecznej można używać następujących aliasów:
nowy = liczba (nowy)
usunięto = liczba (usunięto)
zmieniony = liczba (zmieniona)
notuptodate = notuptodate(rozwiązanie)
unsat_recommends = unsat_recommends(rozwiązanie)
suma(nazwa) = suma(nazwa, rozwiązanie)
--dodać wszystko
wyłącz przetwarzanie wstępne i dodaj wszystkie pakiety
Korzystaj z cudf2lp online, korzystając z usług onworks.net
