Trending repositories for language SMT

Last 3 days (new repositories)
no newly created repositories trending in the last 3 days
Last 3 days (absolute gain)
awslabs
awslabs/rust-smt-ir

No description

35 (+1)
apache-2.0
Last 3 days (relative gain)
awslabs
awslabs/rust-smt-ir

No description

35 (+3%)
apache-2.0
Last week (new repositories)
no newly created repositories trending in the last week
Last week (absolute gain)
awslabs
awslabs/rust-smt-ir

No description

35 (+1)
apache-2.0
Last week (relative gain)
awslabs
awslabs/rust-smt-ir

No description

35 (+3%)
apache-2.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,033 (+16)
adafruit
adafruit/Adafruit_CAD_Parts

CAD files for various boards, components and parts

1,055 (+15)
mit
eth-sri
eth-sri/fastsmt

Learning to Solve SMT Formulas Fast

85 (+6)
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 ...

207 (+4)
awslabs
awslabs/rust-smt-ir

No description

35 (+3)
apache-2.0
renaissance-benchmarks
renaissance-benchmarks/renaissance

The Renaissance Benchmark Suite

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

Code2Inv: Learning Loop Invariants for Program Verification

85 (+2)
hopv
hopv/rust-horn

RustHorn: A CHC-based automated verifier for Rust

73 (+1)
mit
Boolector
Boolector/boolector

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

335 (+1)
Last month (relative gain)
awslabs
awslabs/rust-smt-ir

No description

35 (+9%)
apache-2.0
eth-sri
eth-sri/fastsmt

Learning to Solve SMT Formulas Fast

85 (+8%)
apache-2.0
PL-ML
PL-ML/code2inv

Code2Inv: Learning Loop Invariants for Program Verification

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

207 (+2%)
cvc5
cvc5/cvc5

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

1,033 (+2%)
adafruit
adafruit/Adafruit_CAD_Parts

CAD files for various boards, components and parts

1,055 (+1%)
mit
hopv
hopv/rust-horn

RustHorn: A CHC-based automated verifier for Rust

73 (+1%)
mit
renaissance-benchmarks
renaissance-benchmarks/renaissance

The Renaissance Benchmark Suite

313 (+1.0%)
gpl-3.0
Boolector
Boolector/boolector

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

335 (+0.3%)
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,033 (+176)
adafruit
adafruit/Adafruit_CAD_Parts

CAD files for various boards, components and parts

1,055 (+163)
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 ...

207 (+79)
Boolector
Boolector/boolector

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

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

The Renaissance Benchmark Suite

313 (+35)
gpl-3.0
hopv
hopv/rust-horn

RustHorn: A CHC-based automated verifier for Rust

73 (+28)
mit
SRI-CSL
SRI-CSL/yices2

The Yices SMT Solver

371 (+28)
gpl-3.0
eth-sri
eth-sri/fastsmt

Learning to Solve SMT Formulas Fast

85 (+18)
apache-2.0
dreal
dreal/dreal4

Automated Reasoning in Nonlinear Theories of Reals

153 (+12)
apache-2.0
bzhan
bzhan/holpy

Implementation of higher-order logic in Python

57 (+11)
bsd-3-clause
PL-ML
PL-ML/code2inv

Code2Inv: Learning Loop Invariants for Program Verification

85 (+8)
CyZooNiC
CyZooNiC/cyberdeck

No description

118 (+5)
agpl-3.0
awslabs
awslabs/rust-smt-ir

No description

35 (+4)
apache-2.0
leonardoalt
leonardoalt/yools

Tools for Yul.

138 (+4)
gpl-3.0
ONEARMY
ONEARMY/precious-plastic-kit

Precious Plastic Downloadpack

168 (+4)
Last 12-months (relative gain)
hopv
hopv/rust-horn

RustHorn: A CHC-based automated verifier for Rust

73 (+62%)
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 ...

207 (+62%)
eth-sri
eth-sri/fastsmt

Learning to Solve SMT Formulas Fast

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

Implementation of higher-order logic in Python

57 (+24%)
bsd-3-clause
cvc5
cvc5/cvc5

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

1,033 (+21%)
adafruit
adafruit/Adafruit_CAD_Parts

CAD files for various boards, components and parts

1,055 (+18%)
mit
Boolector
Boolector/boolector

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

335 (+16%)
awslabs
awslabs/rust-smt-ir

No description

35 (+13%)
apache-2.0
renaissance-benchmarks
renaissance-benchmarks/renaissance

The Renaissance Benchmark Suite

313 (+13%)
gpl-3.0
PL-ML
PL-ML/code2inv

Code2Inv: Learning Loop Invariants for Program Verification

85 (+10%)
dreal
dreal/dreal4

Automated Reasoning in Nonlinear Theories of Reals

153 (+9%)
apache-2.0
SRI-CSL
SRI-CSL/yices2

The Yices SMT Solver

371 (+8%)
gpl-3.0
CyZooNiC
CyZooNiC/cyberdeck

No description

118 (+4%)
agpl-3.0
leonardoalt
leonardoalt/yools

Tools for Yul.

138 (+3%)
gpl-3.0
ONEARMY
ONEARMY/precious-plastic-kit

Precious Plastic Downloadpack

168 (+2%)