maxino

maxino: Maxino is a solver for MaxSAT, the optimization variant of the satisfiability problem for propositional formulas. Maxino is based on the k-ProcessCore algorithm described in the following paper: Mario Alviano, Carmine Dodaro, and Francesco Ricca. A MaxSAT Algorithm Using Cardinality Constraints of Bounded Size.