Added first programmatic support for a MaxHSLike maxsat solver.

2 jobs for master in 13 minutes and 52 seconds (queued for 9 seconds)
Status Job ID Name Coverage
  Build
failed #489
java7

00:01:54

passed #488
java8

00:11:58

 
Name Stage Failure
failed
java7 Build There is an unknown failure, please try again
104482 [ERROR] 
104482 [ERROR] Re-run Maven using the -X switch to enable full debug logging.
104482 [ERROR]
104482 [ERROR] For more information about the errors and possible solutions, please read the following articles:
104482 [ERROR] [Help 1] http://cwiki.apache.org/confluence/display/MAVEN/PluginExecutionException
104482 [ERROR]
104483 [ERROR] After correcting the problems, you can resume the build with the command
104483 [ERROR] mvn <goals> -rf :org.ow2.sat4j.core
ERROR: Job failed: exit code 1