TypeEQ

Here we provide the source code and the benchmarks for the TypeEQ tool:

typeeq.zip

benchmarks.zip