examples
solver
