ToySolver.SAT.Encoder.PB.Internal.Adder
addPBLinAtLeastAdder
encodePBLinAtLeastAdder