define Optimizer type in SAT.PBO module