Searched defs:picosat_adjust (Results 1 – 4 of 4) sorted by relevance
6636 picosat_adjust (PS * ps, int new_max_var) in picosat_adjust() function