From: Jannis Harder <me@jix.one>
Date: Wed, 25 May 2022 10:25:04 +0000 (+0200)
Subject: Merge pull request #3335 from programmerjake/divfloor-in-write_smt2
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=8e9471c695598a48ee30ff044ab6bf1564f998ef;p=yosys.git

Merge pull request #3335 from programmerjake/divfloor-in-write_smt2

add $divfloor support to write_smt2
---

8e9471c695598a48ee30ff044ab6bf1564f998ef