MathSAT SMT solver

GPTKB entity

Statements (19)
Predicate Object
gptkbp:instanceOf SMT solver
gptkbp:developedBy gptkb:FBK-IRST
gptkbp:firstReleased 2003
https://www.w3.org/2000/01/rdf-schema#label MathSAT SMT solver
gptkbp:license gptkb:GPL
gptkbp:operatingSystem Cross-platform
gptkbp:participatedIn SMT-COMP
gptkbp:programmingLanguage C
gptkbp:supports gptkb:Floating_Point
Arrays
Bit-vectors
Linear Arithmetic
Uninterpreted Functions
gptkbp:usedFor Formal verification
Model checking
Software analysis
gptkbp:website https://mathsat.fbk.eu/
gptkbp:bfsParent gptkb:Vijay_Ganesh
gptkbp:bfsLayer 7