incremental SAT in characterizing decoder
 TODO :
 1	speed up the decoder verilog output
 2	speed up the minimizeLR