Statistics for language SMT

RepositoryStats tracks 635,114 Github repositories, of these 16 are reported to use a primary language of SMT.

Most starred repositories for language SMT (view more)

adafruit
Adafruit_CAD_Parts adafruit
211
1.1k
mit
75
CAD files for various boards, components and parts
Created 2018-03-19
369 commits to main branch, last one 14 days ago
cvc5
cvc5 cvc5
247
1.1k
other
37
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
Created 2012-12-06
13,249 commits to main branch, last one 16 hours ago
SRI-CSL
yices2 SRI-CSL
55
395
gpl-3.0
25
The Yices SMT Solver
sat-solver smt-solver satisfiability theorem-prover satisfiability-modulo-theories
Created 2014-11-10
5,272 commits to master branch, last one 2 months ago
renaissance-benchmarks
renaissance renaissance-benchmarks
56
321
gpl-3.0
24
The Renaissance Benchmark Suite
java scala benchmark-suite jvm-performance
Created 2019-03-29
1,684 commits to master branch, last one 6 days ago
bitwuzla
bitwuzla bitwuzla
40
245
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,525 commits to main branch, last one 16 days ago
ONEARMY
precious-plastic-kit ONEARMY
53
168
unknown
37
Precious Plastic Downloadpack
Created 2016-03-18
74 commits to master branch, last one 3 years 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)
SRI-CSL
SRI-CSL/yices2

The Yices SMT Solver

395 (+1)
gpl-3.0
cvc5
cvc5/cvc5

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

1,092 (+1)
Last 3 days (relative gain)
SRI-CSL
SRI-CSL/yices2

The Yices SMT Solver

395 (+0.3%)
gpl-3.0
cvc5
cvc5/cvc5

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

1,092 (+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.

1,092 (+6)
adafruit
adafruit/Adafruit_CAD_Parts

CAD files for various boards, components and parts

1,127 (+6)
mit
SRI-CSL
SRI-CSL/yices2

The Yices SMT Solver

395 (+1)
gpl-3.0
Last week (relative gain)
cvc5
cvc5/cvc5

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

1,092 (+0.6%)
adafruit
adafruit/Adafruit_CAD_Parts

CAD files for various boards, components and parts

1,127 (+0.5%)
mit
SRI-CSL
SRI-CSL/yices2

The Yices SMT Solver

395 (+0.3%)
gpl-3.0
Last month (new repositories)
no newly created repositories trending in the last month
Last month (absolute gain)
adafruit
adafruit/Adafruit_CAD_Parts

CAD files for various boards, components and parts

1,127 (+14)
mit
cvc5
cvc5/cvc5

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

1,092 (+11)
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 ...

245 (+7)
lovishchopra
lovishchopra/NL2FOL

No description

30 (+5)
mit
SRI-CSL
SRI-CSL/yices2

The Yices SMT Solver

395 (+4)
gpl-3.0
Last month (relative gain)
lovishchopra
lovishchopra/NL2FOL

No description

30 (+20%)
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 ...

245 (+3%)
hopv
hopv/rust-horn

RustHorn: A CHC-based automated verifier for Rust

76 (+1%)
mit
adafruit
adafruit/Adafruit_CAD_Parts

CAD files for various boards, components and parts

1,127 (+1%)
mit
SRI-CSL
SRI-CSL/yices2

The Yices SMT Solver

395 (+1%)
gpl-3.0
Last 12-months (new repositories)
no newly created repositories trending in the last 12 months
Last 12-months (absolute gain)
adafruit
adafruit/Adafruit_CAD_Parts

CAD files for various boards, components and parts

1,127 (+171)
mit
cvc5
cvc5/cvc5

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

1,092 (+167)
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 ...

245 (+91)
SRI-CSL
SRI-CSL/yices2

The Yices SMT Solver

395 (+43)
gpl-3.0
renaissance-benchmarks
renaissance-benchmarks/renaissance

The Renaissance Benchmark Suite

321 (+31)
gpl-3.0
Last 12-months (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 ...

245 (+59%)
hopv
hopv/rust-horn

RustHorn: A CHC-based automated verifier for Rust

76 (+52%)
mit
bzhan
bzhan/holpy

Implementation of higher-order logic in Python

64 (+23%)
bsd-3-clause
awslabs
awslabs/rust-smt-ir

No description

38 (+19%)
apache-2.0
cvc5
cvc5/cvc5

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

1,092 (+18%)