================================================================================
Open-WBO is a modular open source MaxSAT solver.
Default version uses incremental unsatisfiability-based algorithms for MaxSAT.

The latest version of Open-WBO can be downloaded at:
http://sat.inesc-id.pt/open-wbo

References:

[3] Miguel Neves, Ruben Martins, Mikolas Janota, Ines Lynce, and Vasco Manquinho: 
Exploiting Resolution-based Representations for MaxSAT Solving. SAT 2015

[2] Ruben Martins, Saurabh Joshi, Vasco Manquinho, Ines Lynce:
Incremental Cardinality Constraints for MaxSAT. CP 2014: 531-548

[1] Ruben Martins, Vasco Manquinho, Ines Lynce: 
Open-WBO: A Modular MaxSAT Solver. SAT 2014: 438-445

================================================================================

Authors:      Ruben Martins, Miguel Neves, Vasco Manquinho, Ines Lynce
Contributors: Saurabh Joshi, Mikolas Janota

To contact the authors please send an email to open-wbo@sat.inesc-id.pt

================================================================================