Aceasta este clema de comandă care poate fi rulată în furnizorul de găzduire gratuit OnWorks folosind una dintre multiplele noastre stații de lucru online gratuite, cum ar fi Ubuntu Online, Fedora Online, emulator online Windows sau emulator online MAC OS
PROGRAM:
NUME
clasp - un solutor de set de răspunsuri de învățare bazat pe conflicte
REZUMAT
incuietoare [număr][Opțiuni]
DESCRIERE
Această pagină de manual documentează pe scurt incuietoare comanda.
incuietoare este un rezolvator de set de răspunsuri pentru programe logice normale (extinse). Combină înaltul
capacități de modelare a nivelului de programare a seturilor de răspunsuri (ASP) cu tehnici de ultimă generație
din zona rezolvării constrângerilor booleene. Pe care se bazează algoritmul de închidere primar
învățare nebunească determinată de conflicte, o tehnică care s-a dovedit de mare succes pentru
verificarea satisfacției (SAT). Spre deosebire de alte soluții de învățare ASP, clasp nu se bazează pe
software vechi, cum ar fi un solutor SAT sau orice alt solutor ASP existent. Mai degrabă, închizătoare are
a fost dezvoltat cu adevărat pentru rezolvarea setului de răspunsuri bazat pe o învățare nebunească bazată pe conflict.
clasp poate fi aplicat ca solutor ASP (pe formatul de ieșire LPARSE), ca solutor SAT (pe
format simplificat DIMACS/CNF), sau ca solutor PB (pe format OPB).
OPŢIUNI
Aceste programe urmează sintaxa obișnuită a liniei de comandă GNU, cu opțiuni lungi începând cu
două liniuțe (`-'). Un rezumat al opțiunilor este inclus mai jos. Pentru o descriere completă,
vedeahttp://www.cs.uni-potsdam.de/clasp/>.
-h, --Ajutor
Afișează rezumatul opțiunilor.
-v, --versiune
Arată versiunea programului.
Utilizați clasp online folosind serviciile onworks.net
