hiroto-takatoshi/chaseTGD

a naive implemention on the chasing of TGDs in a data-exchange scenario

C++