Statistics for language SMT

RepositoryStats tracks 584,758 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
205
1.1k
mit
75
CAD files for various boards, components and parts
Created 2018-03-19
346 commits to main branch, last one a day ago
cvc5
cvc5 cvc5
234
1.0k
other
37
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
Created 2012-12-06
12,903 commits to main branch, last one 4 hours ago
SRI-CSL
yices2 SRI-CSL
48
374
gpl-3.0
26
The Yices SMT Solver
sat-solver smt-solver satisfiability theorem-prover satisfiability-modulo-theories
Created 2014-11-10
5,266 commits to master branch, last one 8 days ago
renaissance-benchmarks
renaissance renaissance-benchmarks
60
312
gpl-3.0
25
The Renaissance Benchmark Suite
java scala benchmark-suite jvm-performance
Created 2019-03-29
1,666 commits to master branch, last one a day ago
bitwuzla
bitwuzla bitwuzla
33
211
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,436 commits to main branch, last one 2 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)
cvc5
cvc5/cvc5

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

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

211 (+1)
SRI-CSL
SRI-CSL/yices2

The Yices SMT Solver

374 (+1)
gpl-3.0
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 ...

211 (+0.5%)
cvc5
cvc5/cvc5

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

1,041 (+0.3%)
SRI-CSL
SRI-CSL/yices2

The Yices SMT Solver

374 (+0.3%)
gpl-3.0
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,041 (+16)
adafruit
adafruit/Adafruit_CAD_Parts

CAD files for various boards, components and parts

1,060 (+14)
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 ...

211 (+6)
awslabs
awslabs/rust-smt-ir

No description

37 (+4)
apache-2.0
SRI-CSL
SRI-CSL/yices2

The Yices SMT Solver

374 (+3)
gpl-3.0
Last month (relative gain)
awslabs
awslabs/rust-smt-ir

No description

37 (+12%)
apache-2.0
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 ...

211 (+3%)
bzhan
bzhan/holpy

Implementation of higher-order logic in Python

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

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

1,041 (+2%)
PL-ML
PL-ML/code2inv

Code2Inv: Learning Loop Invariants for Program Verification

85 (+1%)
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,041 (+169)
adafruit
adafruit/Adafruit_CAD_Parts

CAD files for various boards, components and parts

1,060 (+159)
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 ...

211 (+81)
Boolector
Boolector/boolector

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

335 (+48)
renaissance-benchmarks
renaissance-benchmarks/renaissance

The Renaissance Benchmark Suite

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

211 (+62%)
hopv
hopv/rust-horn

RustHorn: A CHC-based automated verifier for Rust

73 (+62%)
mit
bzhan
bzhan/holpy

Implementation of higher-order logic in Python

58 (+26%)
bsd-3-clause
eth-sri
eth-sri/fastsmt

Learning to Solve SMT Formulas Fast

85 (+25%)
apache-2.0
cvc5
cvc5/cvc5

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

1,041 (+19%)