pub fn pb_encoding() -> Option<PbEncoding>
Explicit pseudo-Boolean encoder override for this compilation thread.