edu.udo.cs.ie.cowbots.logic.solver
Classes 
AnswerSet
Clingo
DLV
ELPSource
SourceList