polynomial_opt_sat.c 1.31 KB