CoCalc -- anf2cnf.py

GitHub Repository: sagemath/sagesmc
Path: blob/master/src/sage/sat/converters/anf2cnf.py
⁸⁸²⁰ views

1
"""
2
Abstract ANF to CNF Converter.
3

4
All ANF to CNF converters must inherit from this class.
5

6
AUTHORS:
7

8
- Martin Albrecht (2012): first version
9
"""
10

11
class ANF2CNFConverter(object):
12
    pass
13

14