BinaryDT Dependency ABC executable file: ./abc aigtoaig executable file: ./Aiger Getting Started make # compile ./DT/binaryDT <inputfile> <outputfile>