Topic · smt-solver

smt-solver

Tracked open-source repos tagged smt-solver, sorted by stars.

Repos

2

Total stars

1,050

Avg. stars

525

Share

0.00%

Topics that frequently appear alongside smt-solver on the same repo.

Recent risers

Repos created in the last 90 days, tagged smt-solver.

No new repos tagged with this topic in the last 90 days.

#1
z3.rs ↗@prove-rsRust
Rust bindings for the Z3 solver.
★ 533+1Star change over the last 7 days
#2
esbmc ↗@esbmcC++
The efficient SMT-based context-bounded model checker (ESBMC)
★ 517+1Star change over the last 7 days

← Back to topics