Patch by Hristina Palikareva which enables Kleaver to configure the
solver chain.