Build Sat4j from HEAD

Build: #181 was successful Rebuilt by Daniel Le Berre

Test results

  • 2,330 tests in total
  • 7 minutes taken in total.

See detailed test results for Continuous Integration