Usage: MATSP_Verifier.exe -p problem.xml -s solution.xml [-v]
-p problem.xml   The problem file
-s solution.xml  The solution to verify
-v List all violations in the solution