SMT-LIB

The SMT-LIB programming language is a standardized language for specifying logical formulas and constraints. It is primarily used in automated theorem proving and formal verification of software and hardware systems.

Popularity: Less than 1% of developers are using or have used this language.*
*According to StackOverflow's 2023 survey.