diff options
| author | Alberto Gonzalez <boqwxp@airmail.cc> | 2020-03-27 01:32:53 +0000 |
|---|---|---|
| committer | Alberto Gonzalez <boqwxp@airmail.cc> | 2020-04-04 22:13:26 +0000 |
| commit | bb101e0b3a52a6040f41e53dbfb9067c67a1be23 (patch) | |
| tree | 62db964f0c90a483be9f787e45f37e2375d1605d /examples/cmos/cmos_cells.lib | |
| parent | 5527063f662cbb4b3be6af0f81b6877d58c5682e (diff) | |
| download | yosys-bb101e0b3a52a6040f41e53dbfb9067c67a1be23.tar.gz yosys-bb101e0b3a52a6040f41e53dbfb9067c67a1be23.tar.bz2 yosys-bb101e0b3a52a6040f41e53dbfb9067c67a1be23.zip | |
Implement the `-assume-outputs`, `-sat`, and -unsat` options for the `qbfsat` command.
Diffstat (limited to 'examples/cmos/cmos_cells.lib')
0 files changed, 0 insertions, 0 deletions