| 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 |