public final MaxSATResult search ( final MaxSATHandler handler ) { this . handler = handler ; if ( handler != null ) handler . startedSolving ( ) ; final MaxSATResult result = search ( ) ; if ( handler != null ) handler . finishedSolving ( ) ; this . handler = null ; return result ; }
The main MaxSAT solving method .