MiFuMax

swMATH25460MaRDI QIDQ37198FDOQ37198

Author name not available (Why is that?)

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
• MiFuMax -- a literate MaxSAT solver. System description
• PySAT: a Python toolkit for prototyping with SAT oracles

This page was built for software: MiFuMax