Searched defs:mint (Results 1 – 2 of 2) sorted by relevance
94 int sd, mint, ret; in getscores() local
120 mpz_t mint, maxt, minc1, maxc1; in refine_value_range_using_guard() local