Solver

Solver

Todo:

Give an idea how a solver works

Stopping Criterions

Todo:

Describe use of stopping criterions.

Solver Loggers

Todo:

Describe logging in the solver phase