[refactor] Support derived solver in Submissions #207
Description
Instead of yearly hardcoding the derived solver -> base solver pairs in smtcomp/defs.py, add a field in the smtcomp/defs.py:Submission class and include a dedicated check.
{{ message }}