Interface | Description |
---|---|
Solver |
this interface models common calls to a solver.
|
Class | Description |
---|---|
AspInterface |
This class provides a common interface for asp-solvers.
|
Clingo | |
DLV |
wrapper class for the dlv answer set solver command line
utility.
|
DLVComplex | |
SolverBase |
Base class for solver adds generic error handling code.
|
SolveTime |
Exception | Description |
---|---|
SolverException |