Decouple the solver C API from ASL.