Borg
Released 2011

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.

Bryan Silverthorn Ph.D. Alumni bsilvert [at] cs utexas edu
A Probabilistic Architecture for Algorithm Portfolios Bryan Silverthorn PhD Thesis, Department of Computer Science, The University of Texas at Austin, 2012. 2012

Surviving Solver Sensitivity: An ASP Practitioner's Guide Bryan Silverthorn, Yuliya Lierler and Marius Schneider In International Conference on Logic Programming (ICLP), 2012. 2012

Latent Class Models for Algorithm Portfolio Methods Bryan Silverthorn and Risto Miikkulainen In Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, 2010. 2010