Searched defs:picosat_set_seed (Results 1 – 4 of 4) sorted by relevance
6830 picosat_set_seed (PS * ps, unsigned s) in picosat_set_seed() function