from .load import from_file as load_from_file
from .load import from_input as load_from_input
from .load import from_string as load_from_string
from .load import from_text as load_from_text
from .solver import Solver