Make solver configurable

Needed for #2 (closed)

Merge request reports

Loading