MaxHS version entered in the the 2021 MaxSat Evaluation.
The main change from 2020 is moving from minisat to Armin Biere's cadical sat solver.
This move was motivated by (a) the increasing size of maxsat instances being submitted
to the evaluation and (b) the more difficult sat solving episodes caused by abstract cores.