ToySolver.SAT.Encoder.PB.Internal.BDD
addPBLinAtLeastBDD
encodePBLinAtLeastBDD