Commit 73a0a8f7 authored by Romain WALLON's avatar Romain WALLON

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

parents 5d9f8a13 ee673934
Pipeline #7820 passed with stages
in 195 minutes and 21 seconds