Modularization fixes for imports

Matthias Koeppe · Matthias Koeppe · commit c9717a3cc1a7 · 2023-11-05T14:53:29.000-08:00
diff --git a/src/sage/sat/converters/__init__.py b/src/sage/sat/converters/__init__.py
@@ -1,2 +1,5 @@
+from sage.misc.lazy_import import lazy_import
+
 from .anf2cnf import ANF2CNFConverter
-from sage.rings.polynomial.pbori.cnf import CNFEncoder as PolyBoRiCNFEncoder
+
+lazy_import('sage.rings.polynomial.pbori.cnf', 'CNFEncoder', as_='PolyBoRiCNFEncoder')
