Optimization

Choose a problem, tune parameters, solve — get certificates and checkpoints.