UppSAT

swMATH26289MaRDI QIDQ38020FDOQ38020

Author name not available (Why is that?)

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
• Optimization modulo the theories of signed bit-vectors and floating-point numbers
• Exploring approximations for floating-point arithmetic using UppSAT
• QF_FP

This page was built for software: UppSAT