pbsugar.encoder
Classes 
Clause
CM
CMkey
Domain
Encoder
PBEncoder
SharedCM
SimpleCM