Home
last modified time | relevance | path

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

/dports/math/eprover/eprover-E-2.0/HEURISTICS/
H A Dche_clausesetfeatures.h174 #define AX_MANY_DEFAULT 100 macro
H A Dche_clausesetfeatures.c86 handle->ax_many_limit = AX_MANY_DEFAULT ; in SpecLimitsAlloc()