News for package minisat+