Copyright (c) 2010-2011, Chad E. Brown

picosat -- Copyright (c) 2006 - 2010, Armin Biere, Johannes Kepler University.

MiniSat -- Copyright (c) 2003-2006, Niklas Een, Niklas Sorensson
           Copyright (c) 2007-2010  Niklas Sorensson