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)

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_CAD_Parts

CAD files for various boards, components and parts

1,061 (+3)

mit

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 ...

213 (+2)

Last week (relative gain)

bitwuzla/bitwuzla

213 (+0.9%)

adafruit/Adafruit_CAD_Parts

CAD files for various boards, components and parts

1,061 (+0.3%)

mit

Last month (new repositories)

no newly created repositories trending in the last month

Last month (absolute gain)

cvc5/cvc5

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

1,042 (+15)

adafruit/Adafruit_CAD_Parts

CAD files for various boards, components and parts

1,061 (+14)

mit

bitwuzla/bitwuzla

213 (+7)

awslabs/rust-smt-ir

No description

37 (+4)

apache-2.0

SRI-CSL/yices2

The Yices SMT Solver

374 (+3)

gpl-3.0

dreal/dreal4

Automated Reasoning in Nonlinear Theories of Reals

154 (+2)

apache-2.0

bzhan/holpy

Implementation of higher-order logic in Python

58 (+1)

bsd-3-clause

Boolector/boolector

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

336 (+1)

Last month (relative gain)

awslabs/rust-smt-ir

No description

37 (+12%)

apache-2.0

bitwuzla/bitwuzla

213 (+3%)

bzhan/holpy

Implementation of higher-order logic in Python

58 (+2%)

bsd-3-clause

cvc5/cvc5

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

1,042 (+1%)

adafruit/Adafruit_CAD_Parts

CAD files for various boards, components and parts

1,061 (+1%)

mit

dreal/dreal4

Automated Reasoning in Nonlinear Theories of Reals

154 (+1%)

apache-2.0

SRI-CSL/yices2

The Yices SMT Solver

374 (+0.8%)

gpl-3.0

Boolector/boolector

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

336 (+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 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.

1,042 (+170)

adafruit/Adafruit_CAD_Parts

CAD files for various boards, components and parts

1,061 (+158)

mit

bitwuzla/bitwuzla

213 (+82)

Boolector/boolector

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

336 (+48)

renaissance-benchmarks/renaissance

The Renaissance Benchmark Suite

312 (+31)

gpl-3.0

SRI-CSL/yices2

The Yices SMT Solver

374 (+31)

gpl-3.0

hopv/rust-horn

RustHorn: A CHC-based automated verifier for Rust

73 (+28)

mit

eth-sri/fastsmt

Learning to Solve SMT Formulas Fast

85 (+17)

apache-2.0

dreal/dreal4

Automated Reasoning in Nonlinear Theories of Reals

154 (+13)

apache-2.0

bzhan/holpy

Implementation of higher-order logic in Python

58 (+11)

bsd-3-clause

PL-ML/code2inv

Code2Inv: Learning Loop Invariants for Program Verification

85 (+7)

awslabs/rust-smt-ir

No description

37 (+6)

apache-2.0

CyZooNiC/cyberdeck

No description

118 (+3)

agpl-3.0

ONEARMY/precious-plastic-kit

Precious Plastic Downloadpack

168 (+3)

Last 12-months (relative gain)

bitwuzla/bitwuzla

213 (+63%)

hopv/rust-horn

RustHorn: A CHC-based automated verifier for Rust

73 (+62%)

mit

eth-sri/fastsmt

Learning to Solve SMT Formulas Fast

85 (+25%)

apache-2.0

bzhan/holpy

Implementation of higher-order logic in Python

58 (+23%)

bsd-3-clause

cvc5/cvc5

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

1,042 (+19%)

awslabs/rust-smt-ir

No description

37 (+19%)

apache-2.0

adafruit/Adafruit_CAD_Parts

CAD files for various boards, components and parts

1,061 (+17%)

mit

Boolector/boolector

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

336 (+17%)

renaissance-benchmarks/renaissance

The Renaissance Benchmark Suite

312 (+11%)

gpl-3.0

dreal/dreal4

Automated Reasoning in Nonlinear Theories of Reals

154 (+9%)

apache-2.0

SRI-CSL/yices2

The Yices SMT Solver

374 (+9%)

gpl-3.0

PL-ML/code2inv

Code2Inv: Learning Loop Invariants for Program Verification

85 (+9%)

CyZooNiC/cyberdeck

No description

118 (+3%)

agpl-3.0

ONEARMY/precious-plastic-kit

Precious Plastic Downloadpack

168 (+2%)