better strategy options for adl/given branch
We would like to have
-
restrict
andrelax
as strategies (keeping min or max bounds) - possibility to chain multiple strategies, like in the submitted paper
- possibility to simplify beetwen each strategies
- a default that implements the most useful pipeline suggested in the paper (including minqe/maxqe)