Add piplib::solve* functions