"""This package provides solver support for Sparkle."""
from sparkle.solver.solver import Solver
from sparkle.solver.extractor import Extractor
from sparkle.solver.selector import Selector
from sparkle.solver.verifiers import SATVerifier, SolutionVerifier
