Disambiguation evidence for SMT-LIB2 via surface form

"SMT-LIB v2"

Triples (2)

Triples where some other subject referred to this entity as "SMT-LIB v2".

CVC4 → supportsInputFormat →
"SMT-LIB v2"
↳ resolves to SMT-LIB2
ⓘ
Boolector → hasInputFormat →
"SMT-LIB v2"
↳ resolves to SMT-LIB2
ⓘ