Merge branch 'master' of https://gitlab.ow2.org/sat4j/sat4j.git

4 jobs for master in 41 minutes and 34 seconds (queued for 2 seconds)