Dedicated source file for cnf data structure.