Questa è la chiusura di comando che può essere eseguita nel provider di hosting gratuito OnWorks utilizzando una delle nostre molteplici postazioni di lavoro online gratuite come Ubuntu Online, Fedora Online, emulatore online Windows o emulatore online MAC OS
PROGRAMMA:
NOME
chiusura - un risolutore di set di risposte per l'apprendimento non buono guidato dai conflitti
SINOSSI
fermaglio [numero][opzioni]
DESCRIZIONE
Questa pagina di manuale documenta brevemente il fermaglio comando.
fermaglio è un risolutore di insiemi di risposte per programmi di logica normale (estesa). Unisce l'alta
capacità di modellazione di livello della programmazione di insiemi di risposte (ASP) con tecniche all'avanguardia
dall'area della risoluzione di vincoli booleani. L'algoritmo di chiusura primaria si basa su
apprendimento non buono guidato dal conflitto, una tecnica che si è rivelata molto efficace per
verifica di soddisfacibilità (SAT). A differenza di altri solutori ASP di apprendimento, la chiusura non si basa su
software legacy, come un risolutore SAT o qualsiasi altro risolutore ASP esistente. Piuttosto, chiusura ha
è stato realmente sviluppato per la risoluzione di insiemi di risposte basato su un apprendimento non buono guidato dal conflitto.
può essere applicato come risolutore ASP (sul formato di output LPARSE), come risolutore SAT (on
formato DIMACS/CNF semplificato), o come risolutore PB (su formato OPB).
VERSIONI
Questi programmi seguono la consueta sintassi della riga di comando GNU, con opzioni lunghe che iniziano con
due trattini (`-'). Di seguito è riportato un riepilogo delle opzioni. Per una descrizione completa,
vederehttp://www.cs.uni-potsdam.de/clasp/>.
-H, --Aiuto
Mostra il riepilogo delle opzioni.
-in, --versione
Mostra la versione del programma.
Utilizzare la chiusura online utilizzando i servizi onworks.net
