discovery
solver
