SMT-LIB

GPTKB entity

Statements (17)
Predicate Object
gptkbp:instanceOf gptkb:standard
gptkbp:contains theories
problem instances
gptkbp:domain computer science
gptkbp:focus Satisfiability Modulo Theories
gptkbp:fullName Satisfiability Modulo Theories Library
https://www.w3.org/2000/01/rdf-schema#label SMT-LIB
gptkbp:language SMT-LIB language
gptkbp:purpose standardization
benchmarking
gptkbp:relatedTo gptkb:SAT
automated reasoning
formal verification
gptkbp:usedBy SMT solvers
gptkbp:website https://smtlib.cs.uiowa.edu/
gptkbp:bfsParent gptkb:programming_language
gptkbp:bfsLayer 4