ToySolver.SAT.Encoder.PB
data Encoder m
data Strategy
newEncoder
newEncoderWithStrategy
encodePBLinAtLeast