Test refactoring: split the tests that read the second dataset, and the
ones which read a simplified dataset - currently only concerns tests of
the isSolutionValid() method of the HardConstraintsSolver class.
removed @Ignore + wrote a test for solve()