solver-agnostic

(1)