QMaxSAT: Q-dai MaxSAT Solver
Overview
QMaxSAT is a partial MaxSAT solver based on SAT solver MiniSat.
The solver is available under the MIT licence.
QMaxSAT became a weighted partial MaxSAT solver in 2014.
News
- [June 19, 2012]
- Version 0.21 became the winner of Partial Max-SAT(Crafted) category in Max-SAT 2012.
- Version 0.21 with glucose 2.0 became the winner of Partial Max-SAT(Industrial) category in Max-SAT 2012.
- [June 23, 2011]
- Version 0.4 became the winner of Partial Max-SAT (Industrial) category in Max-SAT 2011.
- [July 16, 2010]
- Version 0.1 became
the winner of Partial Max-SAT (Industrial) category
in Max-SAT 2010.
Download
- Version 0.1
- Version 0.11
- Version 0.2
- Version 0.21
- Version 0.4
- Version14.07
Documents
Under construction
Technical Papers and Presentation Slides
- Miyuki Koshimura, Tong Zhang, Hiroshi Fujita, and Ryuzo Hasegawa. QMaxSAT: A Partial Max-SAT Solver. JSAT, Vol.8 (2012), system description, pages 95-100.
Miyuki Koshimura
|
|