Home
last modified time | relevance | path

Searched refs:SpecHorn (Results 1 – 2 of 2) sorted by relevance

/dports/math/eprover/eprover-E-2.0/HEURISTICS/
H A Dche_clausesetfeatures.c955 features->axiomtypes = SpecHorn; in SpecFeaturesCompute()
968 features->goaltypes = SpecHorn; in SpecFeaturesCompute()
1341 features->axiomtypes = SpecHorn; in SpecFeaturesParse()
1353 features->goaltypes = SpecHorn; in SpecFeaturesParse()
H A Dche_clausesetfeatures.h38 SpecHorn, enumerator