P

PCCompile

Compilation into a propagation complete formula. Library for manipulating CNFs and other representations of boolean functions and related utility programs.