Released version 0.5 of solver