UppSAT

swMATH26289MaRDI QIDQ38020FDOQ38020

Author name not available (Why is that?)

Source code repository: https://github.com/uuverifiers/uppsat

Cited In (3)

• An SMT theory of fixed-point arithmetic
• Optimization modulo the theories of signed bit-vectors and floating-point numbers
• Exploring approximations for floating-point arithmetic using UppSAT

This page was built for software: UppSAT