Continuous Integration
SAT4J
Tests: 2330 passed
Duration: 10 minutes
Changes: Who: Daniel Le Berre <daniel.leberre@univ-artois.fr>
Why: added missing empty directories
Rebuilt by Daniel Le Berre