handle empty sum expression of MIP problem in LPFile.render
change API of SAT.PBO and Algorithm.MIPSolver2 to be more uniform
replace Var constructor of TseitinEncoder.Formula with Lit constructor
add evalFormula to SAT.TseitinEncoder
add getDefinitions to SAT.TseitinEncoder