Main release

With optimal solver and 500mb prunetable file

No optimal release

This release doesn't have the optimal solve option, and the big prunetable because of that.