MaxHS accepts any of the four classes of MaxSat problems including the most general weighted partial class. Unlike most other MaxSat solvers MaxHS can accept floating point weights.
Represent your optimization problem as a set of soft and hard clauses. The soft clauses can have weights.
MaxHS takes its input in WDIMACS format as used by the MaxSat Evauations. Click here for a specification of the format.
The run command is