search

github-linguist / linguist

Language Savant. If your repository's language is being reported incorrectly, send us a pull request!
MIT License
12.12k stars 4.2k forks source link

Z3 #6713

Open ggelado opened 6 months ago

ggelado commented 6 months ago

Language name

Z3 (based on SMT-LIB)

URL of example repository

https://github.com/Z3Prover/z3

SMT-LIB Highlight What language are files for this language being identified as, if any? --> Z3 or SMT-LIB. Files like example.z3
ggelado commented 6 months ago

Syntax https://smtlib.cs.uiowa.edu/papers/smt-lib-reference-v2.6-r2021-05-12.pdf