Copy backends/aiger/aiger.cc to xaiger.cc
authorEddie Hung <eddieh@ece.ubc.ca>
Fri, 8 Feb 2019 22:53:12 +0000 (14:53 -0800)
committerEddie Hung <eddieh@ece.ubc.ca>
Fri, 8 Feb 2019 22:53:12 +0000 (14:53 -0800)
commitdb08afe146b885777bb1bfa2260c090d9554afe3
tree074d5fe7b72796fc682bf60c57af94e18a63ec34
parent5a0a5aae4f3b4ce1e69e2f4e46d65dbf31ac80de
Copy backends/aiger/aiger.cc to xaiger.cc
backends/aiger/xaiger.cc [new file with mode: 0644]