Statistics for language SMT

RepositoryStats tracks 596,208 Github repositories, of these 15 are reported to use a primary language of SMT.

Most starred repositories for language SMT (view more)

adafruit
Adafruit_CAD_Parts adafruit
209
1.1k
mit
75
CAD files for various boards, components and parts
Created 2018-03-19
347 commits to main branch, last one 18 days ago
cvc5
cvc5 cvc5
236
1.1k
other
36
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
Created 2012-12-06
12,972 commits to main branch, last one a day ago
SRI-CSL
yices2 SRI-CSL
49
378
gpl-3.0
26
The Yices SMT Solver
sat-solver smt-solver satisfiability theorem-prover satisfiability-modulo-theories
Created 2014-11-10
5,269 commits to master branch, last one 5 days ago
renaissance-benchmarks
renaissance renaissance-benchmarks
59
312
gpl-3.0
25
The Renaissance Benchmark Suite
java scala benchmark-suite jvm-performance
Created 2019-03-29
1,675 commits to master branch, last one 17 days ago
bitwuzla
bitwuzla bitwuzla
33
223
other
13
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,473 commits to main branch, last one 8 days ago
ONEARMY
precious-plastic-kit ONEARMY
53
168
unknown
38
Precious Plastic Downloadpack
Created 2016-03-18
74 commits to master branch, last one 2 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)
no repositories trending in the last 3 days
Last 3 days (relative gain)
no repositories trending in the last 3 days
Last week (new repositories)
no newly created repositories trending in the last week
Last week (absolute gain)
adafruit
adafruit/Adafruit_CAD_Parts

CAD files for various boards, components and parts

1,073 (+3)
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 ...

223 (+1)
Boolector
Boolector/boolector

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

338 (+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 ...

223 (+0.5%)
Boolector
Boolector/boolector

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

338 (+0.3%)
adafruit
adafruit/Adafruit_CAD_Parts

CAD files for various boards, components and parts

1,073 (+0.3%)
mit
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.

1,055 (+13)
adafruit
adafruit/Adafruit_CAD_Parts

CAD files for various boards, components and parts

1,073 (+13)
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 ...

223 (+11)
SRI-CSL
SRI-CSL/yices2

The Yices SMT Solver

378 (+3)
gpl-3.0
PL-ML
PL-ML/code2inv

Code2Inv: Learning Loop Invariants for Program Verification

88 (+2)
Last month (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 ...

223 (+5%)
PL-ML
PL-ML/code2inv

Code2Inv: Learning Loop Invariants for Program Verification

88 (+2%)
dreal
dreal/dreal4

Automated Reasoning in Nonlinear Theories of Reals

156 (+1%)
apache-2.0
cvc5
cvc5/cvc5

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

1,055 (+1%)
adafruit
adafruit/Adafruit_CAD_Parts

CAD files for various boards, components and parts

1,073 (+1%)
mit
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.

1,055 (+174)
adafruit
adafruit/Adafruit_CAD_Parts

CAD files for various boards, components and parts

1,073 (+160)
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 ...

223 (+84)
Boolector
Boolector/boolector

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

338 (+45)
SRI-CSL
SRI-CSL/yices2

The Yices SMT Solver

378 (+33)
gpl-3.0
Last 12-months (relative gain)
hopv
hopv/rust-horn

RustHorn: A CHC-based automated verifier for Rust

74 (+64%)
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 ...

223 (+60%)
eth-sri
eth-sri/fastsmt

Learning to Solve SMT Formulas Fast

85 (+25%)
apache-2.0
bzhan
bzhan/holpy

Implementation of higher-order logic in Python

58 (+21%)
bsd-3-clause
cvc5
cvc5/cvc5

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

1,055 (+20%)