|
|||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
See:
Description
Class Summary | |
---|---|
AnswerSet | a class representing the result of a solver feeded with some elps. beside facts generated by an anwser set, it provides additional information like answer set weight (default is 0). |
Clingo | wrapper for the clingo asp solver. clingo is clasp with gringo in one binary. |
DLV | the dlv wrapper class, based on the one found in KiMAS - Knowledge in Multi Agent Systems. |
ELPSource | this class models an input source for asp solvers. an input source is either a program, a collection of facts, or a file (program on hard drive). |
SourceList | container class for ELPSource instances |
asp-solver wrapper and utilities
|
|||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |