External Bilevel Solvers