Use `solve` to address Ralf's comment.
Passed
Robbert Krebbers
created pipeline for commit
73de085d
, finished
Related merge request !457 to merge robbert/multiset_solver_by
4 minutes 34 seconds, queued for 2 seconds