CoCalc -- __init__.py

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

1
from satsolver import SatSolver
2

3
from dimacs import Glucose, RSat
4

5
try:
6
    from cryptominisat import CryptoMiniSat
7
except ImportError:
8
    pass
9

10