UppSAT
From MaRDI portal
Software:38020
No author found.
Source code repository: https://github.com/uuverifiers/uppsat
Related Items (3)
Exploring approximations for floating-point arithmetic using UppSAT ⋮ Optimization modulo the theories of signed bit-vectors and floating-point numbers ⋮ An SMT theory of fixed-point arithmetic
This page was built for software: UppSAT
