Searched refs:dimacs_printer_set_output (Results 1 – 1 of 1) sorted by relevance
619 dimacs_printer_set_output (BtorSATMgr *smgr, FILE *output) in dimacs_printer_set_output() function734 smgr->api.set_output = dimacs_printer_set_output; in enable_dimacs_printer()