Collection of MaxSMT solvers