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)

cvc5/cvc5

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

977 (+2)

Last 3 days (relative gain)

cvc5/cvc5

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

977 (+0.2%)

Last week (new repositories)

no newly created repositories trending in the last week

Last week (absolute gain)

cvc5/cvc5

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

977 (+3)

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

171 (+1)

Boolector/boolector

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

324 (+1)

Last week (relative gain)

bitwuzla/bitwuzla

171 (+0.6%)

Boolector/boolector

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

324 (+0.3%)

cvc5/cvc5

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

977 (+0.3%)

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.

977 (+12)

bitwuzla/bitwuzla

171 (+6)

adafruit/Adafruit_CAD_Parts

CAD files for various boards, components and parts

985 (+5)

mit

hopv/rust-horn

RustHorn: A CHC-based automated verifier for Rust

65 (+4)

mit

Boolector/boolector

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

324 (+4)

SRI-CSL/yices2

The Yices SMT Solver

360 (+4)

gpl-3.0

CyZooNiC/cyberdeck

No description

116 (+2)

agpl-3.0

Last month (relative gain)

hopv/rust-horn

RustHorn: A CHC-based automated verifier for Rust

65 (+7%)

mit

bitwuzla/bitwuzla

171 (+4%)

CyZooNiC/cyberdeck

No description

116 (+2%)

agpl-3.0

Boolector/boolector

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

324 (+1%)

cvc5/cvc5

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

977 (+1%)

SRI-CSL/yices2

The Yices SMT Solver

360 (+1%)

gpl-3.0

adafruit/Adafruit_CAD_Parts

CAD files for various boards, components and parts

985 (+0.5%)

mit

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.

977 (+188)

adafruit/Adafruit_CAD_Parts

CAD files for various boards, components and parts

985 (+143)

mit

bitwuzla/bitwuzla

171 (+70)

Boolector/boolector

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

324 (+52)

renaissance-benchmarks/renaissance

The Renaissance Benchmark Suite

300 (+37)

gpl-3.0

hopv/rust-horn

RustHorn: A CHC-based automated verifier for Rust

65 (+28)

mit

SRI-CSL/yices2

The Yices SMT Solver

360 (+27)

gpl-3.0

dreal/dreal4

Automated Reasoning in Nonlinear Theories of Reals

146 (+17)

apache-2.0

eth-sri/fastsmt

Learning to Solve SMT Formulas Fast

75 (+12)

apache-2.0

bzhan/holpy

Implementation of higher-order logic in Python

53 (+11)

bsd-3-clause

PL-ML/code2inv

Code2Inv: Learning Loop Invariants for Program Verification

82 (+7)

ONEARMY/precious-plastic-kit

Precious Plastic Downloadpack

167 (+7)

CyZooNiC/cyberdeck

No description

116 (+6)

agpl-3.0

leonardoalt/yools

Tools for Yul.

137 (+5)

gpl-3.0

Last 12-months (relative gain)

hopv/rust-horn

RustHorn: A CHC-based automated verifier for Rust

65 (+76%)

mit

bitwuzla/bitwuzla

171 (+69%)

bzhan/holpy

Implementation of higher-order logic in Python

53 (+26%)

bsd-3-clause

cvc5/cvc5

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

977 (+24%)

Boolector/boolector

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

324 (+19%)

eth-sri/fastsmt

Learning to Solve SMT Formulas Fast

75 (+19%)

apache-2.0

adafruit/Adafruit_CAD_Parts

CAD files for various boards, components and parts

985 (+17%)

mit

renaissance-benchmarks/renaissance

The Renaissance Benchmark Suite

300 (+14%)

gpl-3.0

dreal/dreal4

Automated Reasoning in Nonlinear Theories of Reals

146 (+13%)

apache-2.0

PL-ML/code2inv

Code2Inv: Learning Loop Invariants for Program Verification

82 (+9%)

SRI-CSL/yices2

The Yices SMT Solver

360 (+8%)

gpl-3.0

CyZooNiC/cyberdeck

No description

116 (+5%)

agpl-3.0

ONEARMY/precious-plastic-kit

Precious Plastic Downloadpack

167 (+4%)

leonardoalt/yools

Tools for Yul.

137 (+4%)

gpl-3.0