MiFuMax

MiFuMax - a literate MaxSAT solver. MiFuMaX is an open-source unsat-based MaxSAT solver (both unweighted and weighted). Based on the algorithms by Fu and Malik [FM06] and Manquinho et al. [MSP09]. Minisat is used as the underlying SAT solver [ES03]. The solver is implemented using literate programming so it will hopefully be useful for people who wish to learn about unsatisfiability-based MaxSAT solving. The current implementation does not use any fancy techniques so its performance should be seen as a baseline for the above-mentioned algorithms.