Specification for the verifier:

Input: Input-CSP to the CSP solver and Output-CSP from the CSP solver
Output: If Output-CSP contains an assignment, verify that
          it satisfies all constraints and 
	  print "correct" or "incorrect"

We want to support two input formats Input-CSP:

The undergraduate one: Input-CSP-ug:
ihttp://www.ccs.neu.edu/home/lieber/courses/csu670/f06/project/CSPlang/CSPXML/

The graduate one: Input-CSP-g
http://www.ccs.neu.edu/home/lieber/courses/csu670/f06/project/alt-syntax/

The output is common to both: Output-CSP
http://www.ccs.neu.edu/home/lieber/courses/csu670/f06/project/output/CSPOutput/

I want to put the solver to be tested into directory /Solver.
In /Solver I would like to run a script which reads in multiple
(Input-CSP , Output-CSP) pairs produced by the
solver. The verifier verifies that each pair is correct
(assuming that all outputs contain a satisfying assignment).

Technique to be used: Ahmed's relation class (relation reduction).