# CAD Contest Problem A

To compile the project, simply type make in the root directory.
Note that the process make take a while since the whole Abc library have to be compiled as well.

The testcases are in inputs/test<num>.  there're 5 testcases in total.
The detail of 5 testcases are described in the written report.
The first two test cases is the public test cases providead by CAD Contest.
To test the testcases, use the same format as suggested in Problem A:

	./eco ./r1.v ./r2.v ./g1.v ./patch.v

The written report is the file ./report.pdf