diff options
| author | Claire Wolf <claire@symbioticeda.com> | 2020-03-17 14:15:08 +0100 |
|---|---|---|
| committer | Claire Wolf <claire@symbioticeda.com> | 2020-04-02 11:37:12 +0200 |
| commit | f72b65b2a54be664f4ce95e0a8bdc68d09562bf1 (patch) | |
| tree | 68d2bca188d425e6ae881092a50b7ff4c8306598 /backends/aiger/Makefile.inc | |
| parent | c90324662ce23e3444d6a7450153d8a4c3946b9a (diff) | |
| download | yosys-f72b65b2a54be664f4ce95e0a8bdc68d09562bf1.tar.gz yosys-f72b65b2a54be664f4ce95e0a8bdc68d09562bf1.tar.bz2 yosys-f72b65b2a54be664f4ce95e0a8bdc68d09562bf1.zip | |
Using LFSR counter for ezSAT::manyhot()
The only user of this API right now is the puzzle3d benchmark and
it sees a slight reduction in CNF size from this, but the performance
difference is within the noise of measurement on my system.
Signed-off-by: Claire Wolf <claire@symbioticeda.com>
Diffstat (limited to 'backends/aiger/Makefile.inc')
0 files changed, 0 insertions, 0 deletions