Data.Logic.Classes.ClauseNormalForm

class ClauseNormalFormula cnf lit