add $divfloor support to write_smt2 divfloor-in-write_smt2
authorJacob Lifshay <programmerjake@gmail.com>
Tue, 24 May 2022 08:34:25 +0000 (01:34 -0700)
committerJacob Lifshay <programmerjake@gmail.com>
Tue, 24 May 2022 08:34:25 +0000 (01:34 -0700)
commitd53479a0d6e7c799e29c18cae47f96dfabee9d21
treed5d64297bfd31b33e8ccd89ad59c259e70b4094b
parentc525b5f91925bd51194ead99a4ecace313f9945c
add $divfloor support to write_smt2

Fixes: #3330
backends/smt2/smt2.cc