PB式の正規化をかけてからpysmtに渡す
BOOL変数の部分に定数True/Falseを含んでいるPB式は正規化する
1__True__ + 2__BOOL1__ < 3
↓
2__BOOL1__ < 2
solver_wrapper.pyのcan_pb内でできるはず
BOOL変数の部分に定数True/Falseを含んでいるPB式は正規化する
1__True__ + 2__BOOL1__ < 3
↓
2__BOOL1__ < 2
solver_wrapper.pyのcan_pb内でできるはず