search

UnitTestBot / ksmt

Kotlin/Java API for various SMT solvers
https://ksmt.io/
Apache License 2.0
30 stars 14 forks source link

Z3: add conversion for `idiv` and `bvcomp` operations #117

Closed Saloed closed 1 year ago

Saloed commented 1 year ago

Support idiv and bvcomp operations in Z3 converter