The borg project includes a practical algorithm portfolio for difficult computational problems (including SAT, PB, and MAX-SAT), and a toolkit for dealing with solvers for such problems. The borg algorithm portfolio placed first in the international pseudo-Boolean solver competition both years that it participated, in 2010 and 2011.
Source code and multiple large data sets are available on its web site.