Commit ac924fe8 authored by Daniel Le Berre's avatar Daniel Le Berre

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

parents 7b043d93 f4123ef5
Pipeline #337 passed with stages
in 25 minutes and 49 seconds