SMT-LIB

input language for SMT solvers

Wikidata: Q86358823

Programming paradigms: declarative programming

Language types: declarative programming language

Programming Language Influence Poster

➡️ Influence Network Poster

Hack the Planet Merchandise Preview

➡️ Hack the Planet

Search on GitHub

ℹ️ Click on a column heading to sort the results.
Name	Description	Last pushed to	Open issues	Forks	Stars	Size

Latest data update: 2022-12-15