MiFuMax

MaRDI QIDQ37198swMATHFDO

Official website http://sat.inesc-id.pt/~mikolas/sw/mifumax/

Cited in

(8)

• Alchemy
• VOLT
• pylgl
• Tuffy
• RockIt
• Volt: a lazy grounding framework for solving very large MaxSAT instances
• PySAT: a Python toolkit for prototyping with SAT oracles
• MiFuMax -- a literate MaxSAT solver. System description

This page was built for software: MiFuMax