Merge pull request #22 from YosysHQ/btor
authorClifford Wolf <clifford@clifford.at>
Sat, 8 Dec 2018 06:03:36 +0000 (22:03 -0800)
committerGitHub <noreply@github.com>
Sat, 8 Dec 2018 06:03:36 +0000 (22:03 -0800)
commita362b35349376dfce1a32323bf6d76fef85a2c38
tree50c2989cd124db42a51d6ca4651dab8184ebddb1
parent4eb91d5b883f05f6c2c4f655315ce5b16a724a44
parent150f30ae0859aabf116554b23aa1507bc9adf144
Merge pull request #22 from YosysHQ/btor

Btor BMC engine