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

2 jobs for master in 21 seconds (queued for 8 seconds)
latest