diff options
| author | N. Engelhardt <nakengelhardt@gmail.com> | 2022-01-17 12:50:53 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-01-17 12:50:53 +0100 |
| commit | 891eec2882e2f80431e6a180fe42b43c1b25aab3 (patch) | |
| tree | ca8411eae733d1f8f99ef56b7dc408b8b9845945 /libs/minisat/System.h | |
| parent | 61324cf55fc5c5237161d4cee157c121fe115fa1 (diff) | |
| parent | 15b4d05805c474c9421ef31aebc83bc17d9034d0 (diff) | |
| download | yosys-891eec2882e2f80431e6a180fe42b43c1b25aab3.tar.gz yosys-891eec2882e2f80431e6a180fe42b43c1b25aab3.tar.bz2 yosys-891eec2882e2f80431e6a180fe42b43c1b25aab3.zip | |
Merge pull request #3145 from nakengelhardt/advertise_suite_in_readme
mention tabby+oss cad suite in readme
Diffstat (limited to 'libs/minisat/System.h')
0 files changed, 0 insertions, 0 deletions