CASCData
Attributes
- Graph
-
- Supertypes
-
class Objecttrait Matchableclass Any
- Self type
-
CASCData.type
Members list
Value members
Concrete methods
Creates a list of input files in the TPTP library hierarchy
Creates a list of input files in the TPTP library hierarchy
Value parameters
- prefix
-
the path prefix of the library (files must be in $prefix/Problems/XYZ
Attributes
- Returns
-
the input problems
Creates a list of all problems for all provers
Creates a list of all problems for all provers
Value parameters
- prefix
-
the path prefix containing the files
Attributes
- Returns
-
A list of gapt.formats.tptp.statistics.CASCResults (which are an instance of gapt.formats.tptp.statistics.FileData)
Creates a list of all problems for a list of provers
Creates a list of all problems for a list of provers
Value parameters
- prefix
-
the path prefix containing the files
- provers
-
the provers to look into
Attributes
- Returns
-
A list of gapt.formats.tptp.statistics.CASCResults (which are an instance of gapt.formats.tptp.statistics.FileData)
Concrete fields
The problem names of the 2018 CASC FOF competition
The problem names of the 2018 CASC FOF competition