Modules

• Proper.BDD
• Proper.CNF
• Proper.Clause
• Proper.Formula
• Proper.Utils