From: Clifford Wolf <clifford@clifford.at>
Date: Thu, 23 May 2019 11:52:48 +0000 (+0200)
Subject: Merge pull request #1031 from mdaiter/optimizeLookupTableBtor
X-Git-Tag: yosys-0.9~114
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=ca4694735455512162da1d4a24429ecf350a8abe;p=yosys.git

Merge pull request #1031 from mdaiter/optimizeLookupTableBtor

Optimize numberOfPermutations
---

ca4694735455512162da1d4a24429ecf350a8abe