Ito ang command clasp na maaaring patakbuhin sa OnWorks na libreng hosting provider gamit ang isa sa aming maramihang libreng online na workstation gaya ng Ubuntu Online, Fedora Online, Windows online emulator o MAC OS online emulator
PROGRAMA:
NAME
clasp - isang conflict-driven nogood learning answer set solver
SINOPSIS
hawakan [numero][mga pagpipilian]
DESCRIPTION
Ang manu-manong pahinang ito ay nagdodokumento ng maikling hawakan utos.
hawakan ay isang answer set solver para sa (extended) normal na logic programs. Pinagsasama nito ang mataas na
antas ng mga kapasidad sa pagmomodelo ng answer set programming (ASP) na may mga makabagong pamamaraan
mula sa lugar ng Boolean constraint solving. Ang pangunahing clasp algorithm ay umaasa sa
hindi magandang pag-aaral na hinimok ng kontrahan, isang pamamaraan na napatunayang napakatagumpay para sa
satisfiability checking (SAT). Hindi tulad ng iba pang pag-aaral ng mga solver ng ASP, hindi umaasa ang clasp
legacy software, gaya ng SAT solver o anumang iba pang umiiral na ASP solver. Sa halip, ang clasp ay mayroon
ay tunay na binuo para sa paglutas ng set ng sagot batay sa hindi magandang pag-aaral na hinimok ng kontrahan.
clasp ay maaaring ilapat bilang isang ASP solver (sa LPARSE output format), bilang isang SAT solver (on
pinasimpleng DIMACS/CNF na format), o bilang PB solver (sa OPB format).
Opsyon
Ang mga program na ito ay sumusunod sa karaniwang GNU command line syntax, na may mahabang opsyon na nagsisimula sa
dalawang gitling (`-'). Ang isang buod ng mga opsyon ay kasama sa ibaba. Para sa kumpletong paglalarawan,
tingnan mohttp://www.cs.uni-potsdam.de/clasp/>.
-h, - Tumulong
Ipakita ang buod ng mga opsyon.
-sa, --bersyon
Ipakita ang bersyon ng programa.
Gumamit ng clasp online gamit ang mga serbisyo ng onworks.net