projects / yosys.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c903246) | patch
Using LFSR counter for ezSAT::manyhot()
authorClaire Wolf <claire@symbioticeda.com>
Tue, 17 Mar 2020 13:15:08 +0000 (14:15 +0100)
committerClaire Wolf <claire@symbioticeda.com>
Thu, 2 Apr 2020 09:37:12 +0000 (11:37 +0200)
commitf72b65b2a54be664f4ce95e0a8bdc68d09562bf1
tree68d2bca188d425e6ae881092a50b7ff4c8306598tree
parentc90324662ce23e3444d6a7450153d8a4c3946b9acommit | diff
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>
libs/ezsat/ezsat.cc diff | blob | history