Error

two or more packages specified (minisat+ unknown)