Optimization of cnf generation. Less time spent on the output
Lifting  created using internal compressed clauses
Documenting the API of object CNF
Remove ropemacs stuff