explicitly registered solvers to generate static librokko.a