Commit 912d42a1 authored by Daniel Le Berre's avatar Daniel Le Berre

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

parents ae7c812b b8735008
Pipeline #330 passed with stage
in 31 seconds