# PV4 ⊧ SPASS-SATTproduces a satisfiability result for a formula

a complete solver for ground linear arithmetic### Application domain/field

SMT solving### Type of tool

SMT solver### Expected input

Format:

a subset of the SMT-LIB standard v2.6Format:

a subset of the SMT-LIB standard v2.6