projects / yosys.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f72b65b) | patch
Improve ezsat onehot encoding scheme
authorClaire Wolf <claire@symbioticeda.com>
Thu, 2 Apr 2020 10:22:28 +0000 (12:22 +0200)
committerClaire Wolf <claire@symbioticeda.com>
Thu, 2 Apr 2020 10:22:28 +0000 (12:22 +0200)
commit65a3ff69bdc7295fff5b806d8fdf424e0f77aae1
tree6e300ffe2225f7f4a07bd3b6b5739cd7550e8484tree
parentf72b65b2a54be664f4ce95e0a8bdc68d09562bf1commit | diff
Improve ezsat onehot encoding scheme

Signed-off-by: Claire Wolf <claire@symbioticeda.com>
libs/ezsat/ezsat.cc diff | blob | history