SMT-LIB Proposal

Summary
D4.2 (responsible: UL, delivery date: M14): Proposal for a standard input language, corresponding to T4.1.
More information & hyperlinks
Web resources: https://ec.europa.eu/research/participants/documents/downloadPublic?documentIds=080166e5c01fd797&appId=PPGMS
Search
Search on Google
Search on Bing
Search on DuckDuckGo
Associated projects
Organisations
  • Not specified
Powered by Chris Decubber BV