Merge branch 'cdcl-strategies' into 'master'

Cdcl strategies

See merge request !6
6 jobs for master in 107 minutes and 3 seconds (queued for 3 seconds)
Status Job ID Name Coverage
  Build
passed #32373
jars-j8

00:00:41

passed #32372
java8-sonar

00:31:01

 
  Test
failed #32374
allowed to fail
java7

00:13:38

passed #32376
maven36-java11

00:20:58

passed #32377
maven36-java13

00:21:15

passed #32375
maven36-java8

00:19:26

 
Name Stage Failure
failed
java7 Test
802381 [ERROR] 
802381 [ERROR] Re-run Maven using the -X switch to enable full debug logging.
802381 [ERROR]
802381 [ERROR] For more information about the errors and possible solutions, please read the following articles:
802381 [ERROR] [Help 1] http://cwiki.apache.org/confluence/display/MAVEN/MojoFailureException
802382 [ERROR]
802382 [ERROR] After correcting the problems, you can resume the build with the command
802382 [ERROR] mvn <goals> -rf :org.ow2.sat4j.pb
ERROR: Job failed: exit code 1