diff options
author | Koen van der Heijden <koen.vd.heijden1@gmail.com> | 2016-12-11 17:16:19 +0100 |
---|---|---|
committer | Koen van der Heijden <koen.vd.heijden1@gmail.com> | 2016-12-11 17:16:19 +0100 |
commit | 8c3efd1ed40f51115a3766248dcff62cf9e3f12d (patch) | |
tree | 51dd459ca77c03da5cb5113c2b7af67d39fdd734 /chip_design | |
parent | 6cd69b06809161c20689f4e7a2c4d4cead0301bc (diff) | |
download | 2IMF25-AR-8c3efd1ed40f51115a3766248dcff62cf9e3f12d.tar.gz |
Correct format, just runs too slow...
Diffstat (limited to 'chip_design')
-rw-r--r-- | chip_design/chip_design.z3 | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/chip_design/chip_design.z3 b/chip_design/chip_design.z3 new file mode 100644 index 0000000..e69de29 --- /dev/null +++ b/chip_design/chip_design.z3 |