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.

News

[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.4
• qmaxsat-v0.4a.tgz
• Requirements: same as MiniSat 2.0
  
• Max-SAT 2011 Competition Version (Linux executable)
  

Documents

Under construction

Technical Papers and Presentation Slides

Miyuki Koshimura