satisfiability modulo theories
Sign in to saveAlso known as SMT
problem of determining whether a mathematical formula is satisfiable
Connections
bit array
Entity
Microsoft Windows
Entity
integer
Entity
real number
Entity
GNU Lesser General Public License
Entity
computer science
Entity
Linux
Entity
arithmetic
Entity
International Standard Book Number
Entity
Q15777
Entity
Python
Entity
natural number
Entity
Java
Entity
Q2407
Entity
rational number
Entity
set
Entity
Wayback Machine
Entity
computer program
Entity
macOS
Entity
digital object identifier
Entity