Package edu.udo.cs.ie.cowbots.logic.solver

Package class diagram package edu.udo.cs.ie.cowbots.logic.solver
asp-solver wrapper and utilities

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
 

Package edu.udo.cs.ie.cowbots.logic.solver Description

asp-solver wrapper and utilities