diff options
| author | Alberto Gonzalez <boqwxp@airmail.cc> | 2020-03-25 23:51:32 +0000 |
|---|---|---|
| committer | Alberto Gonzalez <boqwxp@airmail.cc> | 2020-04-04 22:13:26 +0000 |
| commit | b9e79e0bb76e0b45650005914ebf21c77e0242d1 (patch) | |
| tree | 6ea81fd908749a9c36b8e0abde94e1037190d72f /CodeOfConduct | |
| parent | d07ac2612b144ad2486cff5e07f7e501da54e3f7 (diff) | |
| download | yosys-b9e79e0bb76e0b45650005914ebf21c77e0242d1.tar.gz yosys-b9e79e0bb76e0b45650005914ebf21c77e0242d1.tar.bz2 yosys-b9e79e0bb76e0b45650005914ebf21c77e0242d1.zip | |
Implement `-write-solution` option for the `qbfsat` command.
Diffstat (limited to 'CodeOfConduct')
0 files changed, 0 insertions, 0 deletions