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.
References in zbMATH (referenced in 2 articles )
Showing results 1 to 2 of 2.
- Ignatiev, Alexey; Morgado, Antonio; Marques-Silva, Joao: PySAT: A Python toolkit for prototyping with SAT oracles (2018)
- Mangal, Ravi; Zhang, Xin; Nori, Aditya V.; Naik, Mayur: Volt: a lazy grounding framework for solving very large maxsat instances (2015)