CoCalc -- __init_

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

1
from anf2cnf import ANF2CNFConverter
2
from polybori import CNFEncoder as PolyBoRiCNFEncoder
3

4