CoCalc -- __init__.py

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

1
try:
2
    from cryptominisat import CryptoMiniSat
3
except ImportError:
4
    raise ImportError("Failed to import 'sage.sat.solvers.cryptominisat.CryptoMiniSat'. Run \"install_package('cryptominisat')\" to install it.")
5

6
from solverconf import SolverConf
7

8