computation of binary implication graph for product lists
Add graph library
integrate Steven She's synthesis algorithm
modify CSV parser
reorganize code