Fixing Github license
Solver improvements