diff options
| author | N. Engelhardt <nak@symbioticeda.com> | 2020-06-04 14:00:52 +0200 |
|---|---|---|
| committer | N. Engelhardt <nak@symbioticeda.com> | 2020-06-04 14:00:52 +0200 |
| commit | 8ceb6686e0f610396931c07415a0734c3da33832 (patch) | |
| tree | 0ecd0b417ac69ca2fa105d322785c8adfb39f461 /libs/minisat/Options.cc | |
| parent | 3bffd09d6423b70ca154527c363985ff048f807d (diff) | |
| download | yosys-8ceb6686e0f610396931c07415a0734c3da33832.tar.gz yosys-8ceb6686e0f610396931c07415a0734c3da33832.tar.bz2 yosys-8ceb6686e0f610396931c07415a0734c3da33832.zip | |
btor backend: add option to not include internal names
Diffstat (limited to 'libs/minisat/Options.cc')
0 files changed, 0 insertions, 0 deletions