UppSAT

MaRDI QIDQ38020swMATHFDO

Official website https://arxiv.org/abs/1711.08859

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

Cited in

(6)

• An SMT theory of fixed-point arithmetic
• SONOLAR
• XSat
• QF_FP
• 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