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
  • qmaxsat-v0-1.tgz
  • Requirements: same as MiniSat 2.0
  • Max-SAT 2010 Competition Version (Linux executable)
• Version 0.11
• Max-SAT 2011 Competition Version (Linux executable)
  
• Version 0.2
  • qmaxsat-v0-2.tgz
  • Requirements: same as MiniSat 2.0
• Version 0.21
• Max-SAT 2012 Competition Version (Linux executable)
  
• Max-SAT 2012 Competition Version (with glucose 2.0) (Linux executable)
  
• Version 0.4
  
• qmaxsat-v0.4a.tgz
• Requirements: same as MiniSat 2.0
  
• Max-SAT 2011 Competition Version (Linux executable)
  
• Version14.07
• qmaxsat14.07Open.tgz
• Requirements: same as Glucose 3.0

Documents

Under construction

Technical Papers and Presentation Slides

Miyuki Koshimura