Sign in Sign up

pypi

smlptech

SMLP - The Symbolic Machine Learning Prover

View on Pypi

Activity

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

Details

License: Apache-2.0
First release: Mar 28, 2026

Releases

Version	Released
`1.2.0` minor	May 17, 2026
`1.1.1` initial	Mar 28, 2026

Dependencies (13)

Depends on

1.2.0

Insights

Releases per month

last 12 months

Release mix

minor 1

2 releases

Release calendar

2026

Jan

Feb

Mar

Apr

May

Jun

Jul

Aug

Sep

Oct

Nov

Dec

Less More