MiFuMax
From MaRDI portal
Software:37198
No author found.
Related Items (3)
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
This page was built for software: MiFuMax