Commit 8334e68b authored by Daniel Le Berre's avatar Daniel Le Berre

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

parents ee099a46 231da5d8
Pipeline #3373 passed with stages
in 43 minutes and 12 seconds