Merge pull request #1031 from mdaiter/optimizeLookupTableBtor
authorClifford Wolf <clifford@clifford.at>
Thu, 23 May 2019 11:52:48 +0000 (13:52 +0200)
committerGitHub <noreply@github.com>
Thu, 23 May 2019 11:52:48 +0000 (13:52 +0200)
commitca4694735455512162da1d4a24429ecf350a8abe
treec6fedad5bdc78092607216fd95f4d1965ce23080
parent5c164d0863078779fd27aefa665b5e6e457ca39b
parentf0ff31ceea6101cd59ebc6bdff2f253dbbeb06d8
Merge pull request #1031 from mdaiter/optimizeLookupTableBtor

Optimize numberOfPermutations