SMT — langbanklangbank / languages /
SMT
- detection recognise a file as this language
- comments strip comments without parsing
- facets know it hosts components or styles
- conventions find its tests and fixtures
- toolchain name a tool that handles it
- compiler build or run it
- analyser lint or format it
- ecosystem resolve its packages
- id
smt- role
- programming
- extensions
.smt .smt2 .z3- shebangs
boolector cvc4 mathsat5 opensmt smt-rat smtinterpol stp verit yices2 z3