Debian Automated Code Analysis

cppcheck analysis of sat4j_2.1.1-2.dsc

Failed to parse xml