Home
last modified time | relevance | path

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

/dports/math/eprover/eprover-E-2.0/HEURISTICS/
H A Dche_clausesetfeatures.h163 #define NGU_MANY_DEFAULT 0.75 macro
H A Dche_clausesetfeatures.c72 handle->ngu_many_limit = NGU_MANY_DEFAULT; in SpecLimitsAlloc()