how to use the solver

The theory behind the solving process will be added later.