Sign in Sign up

cargo

yaspar

Yet Another SMT Parser, a SMTLib 2.7 compliant parsing library

Activity

Latest release: 1mo ago
Total releases: 3
Cadence: ~3 months
Last 12 months: 3

Reach

Downloads: 3.4k
Stars: 1

Details

License: Apache-2.0
First release: Feb 11, 2026

Releases

Version	Released
`2.7.2` patch	Aug 10, 2026
`2.7.1` unknown	Jun 15, 2026
`2.7.0` unknown	Feb 11, 2026

Repository

yaspar-org/yaspar

Forks: 1
Open issues: 2
Language: SMT

Dependencies (9)

Depends on

2.7.2

Used by

1

Supply-chain exposure

1 tracked projects depend on this, <1% of every package we track.

Insights

Releases per month

last 12 months

Release mix

patch 1
unknown 2

3 releases

Release calendar

2026

Jan

Feb

Mar

Apr

May

Jun

Jul

Aug

Sep

Oct

Nov

Dec

Less More