Dit is de opdrachtsluiting die kan worden uitgevoerd in de gratis hostingprovider van OnWorks met behulp van een van onze meerdere gratis online werkstations zoals Ubuntu Online, Fedora Online, Windows online emulator of MAC OS online emulator
PROGRAMMA:
NAAM
sluiting - een conflictgedreven oplossing voor het leren van antwoordensets
KORTE INHOUD
sluiting [aantal][Opties]
PRODUCTBESCHRIJVING
Deze handleiding documenteert in het kort de: sluiting opdracht.
sluiting is een antwoordsetoplosser voor (uitgebreide) normale logische programma's. Het combineert de hoog-
niveaumodelleringscapaciteiten van antwoordsetprogrammering (ASP) met de modernste technieken
op het gebied van het oplossen van Booleaanse beperkingen. Het primaire sluitingsalgoritme is afhankelijk van
conflictgedreven goed leren, een techniek die zeer succesvol bleek te zijn
tevredenheidscontrole (SAT). In tegenstelling tot andere ASP-oplossers voor leren, is de sluiting niet afhankelijk van
oudere software, zoals een SAT-oplosser of een andere bestaande ASP-oplosser. Integendeel, gesp heeft
is echt ontwikkeld voor het oplossen van antwoorden op basis van conflictgestuurd goed leren.
sluiting kan worden toegepast als een ASP-oplosser (op het LPARSE-uitvoerformaat), als een SAT-oplosser (op
vereenvoudigd DIMACS/CNF-formaat), of als PB-oplosser (op OPB-formaat).
OPTIES
Deze programma's volgen de gebruikelijke GNU-opdrachtregelsyntaxis, met lange opties die beginnen met
twee streepjes (`-'). Hieronder vindt u een overzicht van de mogelijkheden. Voor een volledige beschrijving,
zienhttp://www.cs.uni-potsdam.de/clasp/>.
-H, --help
Overzicht van opties weergeven.
-in, --versie
Toon versie van het programma.
Gebruik sluiting online met behulp van onworks.net-services
