fixing problems with solver sdk and libray class