Commit 4c8d6b14 authored by Romain WALLON's avatar Romain WALLON

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

parents a60f627f 733ec13b
Pipeline #4666 failed with stages
in 14 minutes and 23 seconds