JK/solvers

Mostly file renaming and refactoring.

Edited by Jakub Klinkovský

Merge request reports

Loading