sluiting Een antwoordoplosser voor normale of uitgebreide logica-programma's.
Download nu

sluiting Rangschikking & Samenvatting

sluiting Tags

oplosser ZA SAT-oplosser

sluiting Beschrijving

CLASP maakt het mogelijk dat een implementatie van het ANTWOORD SET-programmeeralgoritme waarmee u normale logische programma's kunt oplossen. De methode is gebaseerd op de conflictgedreven Nogood-leertechniek. U kunt deze tool gebruiken als ASP-oplosser, SATO SOLVER of PB SOLVER voor uw projecten met het oplossen van antwoord.

sluiting Gerelateerde software