Packages with the minisat use flag