SAT4J MAXSAT submission for MAXSAT 2013
Daniel Le Berre and Emmanuel Lonca

The following solvers are submitted to the MAXSAT 2013 competition 

Complete tracks (MS, PMS, WMS and WPMS)

sat4jms-external
sat4jms-internal

Incomplete tracks (MS, PMS, WMS and WPMS)

sat4jms-external-inc
sat4jms-internal-inc

The internal and external approaches are described in a paper submitted to PoS 2013.

For more information about Sat4j: www.sat4j.org