Optiriss6 is a slight extension of the open MaxSAT solver openwbo, which has been extended by 
 * adding support for incremental solving, i.e. printing each model to the screen
 * refining the unsatisfiable core for UNSAT based algorithms
 * supporting Riss6 as a SAT solver