Update DLVSolver.java