An Entity of Type: software, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

SMT solver

Property Value
dbo:description
  • SMT solver (en)
dbo:developer
dbo:genre
dbo:latestReleaseDate
  • 2025-01-28 (xsd:date)
dbo:latestReleaseVersion
  • 1.2.1
dbo:license
dbo:operatingSystem
dbo:programmingLanguage
dbp:developer
  • Stanford University and University of Iowa (en)
dbp:genre
dbp:latestReleaseDate
  • 2025-01-28 (xsd:date)
dbp:latestReleaseVersion
  • 1.200000 (xsd:double)
dbp:license
dbp:name
  • CVC5 (en)
dbp:operatingSystem
dbp:programmingLanguage
dbp:website
dbp:wikiPageUsesTemplate
dct:subject
rdf:type
rdfs:label
  • Cooperating Validity Checker (en)
rdfs:seeAlso
prov:wasDerivedFrom
foaf:homepage
foaf:isPrimaryTopicOf
foaf:name
  • CVC5 (en)
is foaf:primaryTopic of
Powered by OpenLink Virtuoso    This material is Open Knowledge     W3C Semantic Web Technology     This material is Open Knowledge    Valid XHTML + RDFa
This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 4.0 International