Install minisat+