Data.ABC.Internal.CNF
type Cnf_Dat_t
cnfVarNums
withCnfDerive
cnfDataWriteIntoFile
type Cnf_Man_t
data Cnf_Man_t_
cnfManStart
cnfDeriveWithMan
cnfDataFree
cnfDataWriteIntoFileWithHeader