Statistics for language SMT

RepositoryStats tracks 536,144 Github repositories, of these 13 are reported to use a primary language of SMT.

Most starred repositories for language SMT (view more)

adafruit
Adafruit_CAD_Parts adafruit
208
984
mit
72
CAD files for various boards, components and parts
Created 2018-03-19
329 commits to main branch, last one 16 days ago
cvc5
cvc5 cvc5
224
975
other
35
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
Created 2012-12-06
12,568 commits to main branch, last one 17 hours ago
SRI-CSL
yices2 SRI-CSL
45
359
gpl-3.0
24
The Yices SMT Solver
sat-solver smt-solver satisfiability theorem-prover satisfiability-modulo-theories
Created 2014-11-10
5,254 commits to master branch, last one 9 days ago
Boolector
boolector Boolector
63
323
other
14
A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.
Created 2018-05-18
10,365 commits to master branch, last one 4 months ago
renaissance-benchmarks
renaissance renaissance-benchmarks
56
300
gpl-3.0
25
The Renaissance Benchmark Suite
java scala benchmark-suite jvm-performance
Created 2019-03-29
1,603 commits to master branch, last one 26 days ago
bitwuzla
bitwuzla bitwuzla
27
171
other
12
Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays and uninterpreted functions and their combinations. Its name is ...
Created 2020-09-19
3,310 commits to main branch, last one 15 days ago

Trending repositories for language SMT (view more)

Last 3 days (new repositories)
no newly created repositories trending in the last 3 days
Last 3 days (absolute gain)
cvc5
cvc5/cvc5

cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.

975 (+1)
Last 3 days (relative gain)
cvc5
cvc5/cvc5

cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.

975 (+0.1%)
Last week (new repositories)
no newly created repositories trending in the last week
Last week (absolute gain)
cvc5
cvc5/cvc5

cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.

975 (+2)
bitwuzla
bitwuzla/bitwuzla

Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays and uninterpreted functions and their combinations. Its name is ...

171 (+1)
Last week (relative gain)
bitwuzla
bitwuzla/bitwuzla

Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays and uninterpreted functions and their combinations. Its name is ...

171 (+0.6%)
cvc5
cvc5/cvc5

cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.

975 (+0.2%)
Last month (new repositories)
no newly created repositories trending in the last month
Last month (absolute gain)
cvc5
cvc5/cvc5

cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.

975 (+10)
bitwuzla
bitwuzla/bitwuzla

Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays and uninterpreted functions and their combinations. Its name is ...

171 (+6)
adafruit
adafruit/Adafruit_CAD_Parts

CAD files for various boards, components and parts

984 (+5)
mit
Boolector
Boolector/boolector

A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.

323 (+4)
hopv
hopv/rust-horn

RustHorn: A CHC-based automated verifier for Rust

64 (+3)
mit
Last month (relative gain)
hopv
hopv/rust-horn

RustHorn: A CHC-based automated verifier for Rust

64 (+5%)
mit
bitwuzla
bitwuzla/bitwuzla

Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays and uninterpreted functions and their combinations. Its name is ...

171 (+4%)
Boolector
Boolector/boolector

A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.

323 (+1%)
cvc5
cvc5/cvc5

cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.

975 (+1%)
CyZooNiC
CyZooNiC/cyberdeck

No description

115 (+0.9%)
agpl-3.0
Last 12-months (new repositories)
no newly created repositories trending in the last 12 months
Last 12-months (absolute gain)
cvc5
cvc5/cvc5

cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.

975 (+186)
adafruit
adafruit/Adafruit_CAD_Parts

CAD files for various boards, components and parts

984 (+143)
mit
bitwuzla
bitwuzla/bitwuzla

Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays and uninterpreted functions and their combinations. Its name is ...

171 (+70)
Boolector
Boolector/boolector

A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.

323 (+51)
renaissance-benchmarks
renaissance-benchmarks/renaissance

The Renaissance Benchmark Suite

300 (+37)
gpl-3.0
Last 12-months (relative gain)
hopv
hopv/rust-horn

RustHorn: A CHC-based automated verifier for Rust

64 (+73%)
mit
bitwuzla
bitwuzla/bitwuzla

Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays and uninterpreted functions and their combinations. Its name is ...

171 (+69%)
bzhan
bzhan/holpy

Implementation of higher-order logic in Python

53 (+26%)
bsd-3-clause
cvc5
cvc5/cvc5

cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.

975 (+24%)
Boolector
Boolector/boolector

A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.

323 (+19%)