Searched defs:picosat_set_output (Results 1 – 4 of 4) sorted by relevance
6809 picosat_set_output (PS * ps, FILE * output_file) in picosat_set_output() function