solver-agnostic

(2)