See: Description
Class | Description |
---|---|
ILTPProblem |
An object of this class describes a problem of the ILTP-library.
|
ILTPProblemReader |
Problem reader for ILTP-library problems.
|
JTabWbSimpleProblem |
Pitp problem description only contains one conjecture, the propositional
formula to prove.
|
JTabWbSimpleProblemReader |
Instances of this class allow one to read a problem description in the JTabWb
format where a problem is specified in a file in with the following
structure:
|
PlainProblemDescription |
A problem consisting of exactly one conjecture.
|
PlainProblemReader |
Instances of this class allow one to read a problem only consisting of the
problem formula.
|
Exception | Description |
---|---|
ILTPProblemParserError |