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.
Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015).

Satisfiability of propositional theories is checked by means of a pseudo-Boolean solver extending Glucose 4 (single thread).

In this version the parameter k is fixed to 7, i.e., the size of the cardinality constraints introduced by the algorithm is bounded by 16.