objective:  Empirical study of functional constraints-encode the elimination algorithm and run the program associate it to some constraint solver like YL’s solver to solve the all the constraints, including functional constraints. Specifically, we will control the proportion of functional constraint from 0%, 20%,40%,60%, 80%,100% in the experiment to illustrate how efficient the elimination algorithm is when compared to using solvers to solve these constraints directly.  

1. Generate the CSP(N,D,C), including both functional constraints and non-functional constraints (with the FC proportion of 0%, 20%,40%,60%, 80%,100% )and store them in  file 1.
2. Encode LE Algorithm and give the file 1 to LE, the output is stored in file 2.
3. Learn to use YL’s Solver to solve the constraints stored in file 2.  The output is file 3.
4. Use other traditional CSP solvers to deal with the same generated problem and store the output in file 4.
5. Compare file 3 and file 4. Analyze and write, refine  the  experiment into a document.