You can buy this project and download/modify it how often you want.
A package devoted to Solver and resolution tools.