Is it a solver or a library