Build Sat4j from HEAD

Build: #173 failed Changes by emmanuel lonca

Test results

  • 2,142 tests in total
  • 5 minutes taken in total.

See detailed test results for Continuous Integration