Abstract ANF to CNF Converter

All ANF to CNF converters must inherit from this class.

AUTHORS:

• Martin Albrecht (2012): first version

class sage.sat.converters.anf2cnf.ANF2CNFConverter

Bases: object