SRI-CSL/yices2

GitHub

SRI Yices SMT Solver

SMT489 stars67 forksGPL-3.0

sat-solver satisfiability satisfiability-modulo-theories smt-solver theorem-prover

Momentum

SRI-CSL/yices2 has 489 GitHub stars.

It currently ranks #10366 daily, #5415 weekly, #8209 monthly by momentum on Trending Repos; its best-ever rank is #1801.

Trending Repos first recorded it on May 18, 2026.

Rankings

PeriodRankScore

Daily

#103660.0

Weekly

#54150.2

Monthly

#82090.1

How scoring works

Engagement

Total stars

Daily new stars

Embeds

Best rank #1801

Format

Markdown

[![SRI-CSL/yices2 badge](https://trending-repos.com/badge/SRI-CSL/yices2.svg?v=3)](https://trending-repos.com/repositories/SRI-CSL/yices2?utm_source=github&utm_medium=badge)