SRI-CSL/yices2

SRI Yices SMT Solver

SMT460 stars62 forksGPL-3.0

sat-solversatisfiabilitysatisfiability-modulo-theoriessmt-solvertheorem-prover

Rankings

Daily

#13711

Weekly

#3915

Monthly

#5915

Total stars

Daily new stars

Get badge

This repository is tracked by Trending Repos. The badge upgrades automatically if it ever cracks the top 100.

Markdown

![Trending Repos](https://trending-repos.com/badge/SRI-CSL/yices2.svg)

HTML

<img src="https://trending-repos.com/badge/SRI-CSL/yices2.svg" alt="Trending Repos" />

Raw URL

https://trending-repos.com/badge/SRI-CSL/yices2.svg