A set of efficient tools for CNF manipulations.