Merge branch 'robbert/multiset_solver' into 'master'

Add solver `multiset_solver` for multisets

See merge request !167
6 jobs for master in 11 minutes and 34 seconds (queued for 3 seconds)
Status Job ID Name Coverage
  Build
passed #76517
fp
build-coq.8.10.2

00:05:32

passed #76516
fp-timing
build-coq.8.11.2

00:03:52

passed #76515
fp
build-coq.8.12.dev

00:11:34

passed #76520
fp
build-coq.8.7.2

00:03:35

passed #76519
fp
build-coq.8.8.2

00:03:35

passed #76518
fp
build-coq.8.9.1

00:04:09