From: Clifford Wolf <clifford@clifford.at>
Date: Sat, 8 Dec 2018 06:03:36 +0000 (-0800)
Subject: Merge pull request #22 from YosysHQ/btor
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=a362b35349376dfce1a32323bf6d76fef85a2c38;p=SymbiYosys.git

Merge pull request #22 from YosysHQ/btor

Btor BMC engine
---

a362b35349376dfce1a32323bf6d76fef85a2c38