Merge pull request #88 from YosysHQ/claire/cosa2
authorclairexen <claire@symbioticeda.com>
Mon, 18 May 2020 15:01:19 +0000 (17:01 +0200)
committerGitHub <noreply@github.com>
Mon, 18 May 2020 15:01:19 +0000 (17:01 +0200)
commit13fef4a710d0e2cf0f109ca75a94fb7253ba6838
treee9366dad826517152913f6ad50f503e5906f8835
parent9fdece3dab365b5f1421d9d142dc95755183bfec
parentc7668de077fdcc12c5ee07043d5ae6d7f6106482
Merge pull request #88 from YosysHQ/claire/cosa2

Add support for cosa2 BTOR solver