Add a license for minisat.