Satisfiability Modulo Theories Library version 2

E2000707 UNEXPLORED

Satisfiability Modulo Theories Library version 2 is a standardized language and benchmark format used to specify and exchange problems for SMT (Satisfiability Modulo Theories) solvers.

Try in SPARQL Jump to: Surface forms Referenced by

All labels observed (10)

Label Occurrences
SMT-LIB 5
SMT-LIB language 2
SMT-LIB 2 1

Referenced by (15)

Full triples — surface form annotated when it differs from this entity's canonical label.

SMT-LIB2 → abbreviationOf → Satisfiability Modulo Theories Library version 2 ⓘ
SMT-LIB2 → predecessor → SMT-LIB version 1 ⓘ
linked to: Satisfiability Modulo Theories Library version 2
SMT-LIB2 → hasVersion → SMT-LIB 2.0 ⓘ
linked to: Satisfiability Modulo Theories Library version 2
SMT-LIB2 → hasVersion → SMT-LIB 2.1 ⓘ
linked to: Satisfiability Modulo Theories Library version 2
SMT-LIB2 → hasVersion → SMT-LIB 2.5 ⓘ
linked to: Satisfiability Modulo Theories Library version 2
SMT → hasStandard → SMT-LIB ⓘ
linked to: Satisfiability Modulo Theories Library version 2
SMT-COMP → uses → SMT-LIB benchmark library ⓘ
linked to: Satisfiability Modulo Theories Library version 2
SMT-COMP → isAssociatedWith → SMT-LIB ⓘ
linked to: Satisfiability Modulo Theories Library version 2
SMT-COMP → inputFormat → SMT-LIB language ⓘ
linked to: Satisfiability Modulo Theories Library version 2
CVC4 → implementsStandard → SMT-LIB language ⓘ
linked to: Satisfiability Modulo Theories Library version 2
Yices → conformsTo → SMT-LIB standard ⓘ
linked to: Satisfiability Modulo Theories Library version 2
Boolector → supportsStandard → SMT-LIB ⓘ
linked to: Satisfiability Modulo Theories Library version 2
SMTInterpol → supportsStandard → SMT-LIB 2 ⓘ
linked to: Satisfiability Modulo Theories Library version 2
SMTInterpol → usesInputFormat → SMT-LIB ⓘ
linked to: Satisfiability Modulo Theories Library version 2
CVC5 → acceptsInputFormat → SMT-LIB ⓘ
linked to: Satisfiability Modulo Theories Library version 2