__init__
solver
