thsolver.config
The configuration module defines the default yacs tree and the command
line entry points used by thsolver.solver.Solver.
The configuration module defines the default yacs tree and the command
line entry points used by thsolver.solver.Solver.