tatam

v0.4.5 Growing

Theory And Time Analysis Machine

LGPL-3.0-only Edition 2021

#solver#smt#bmc#temporal_logic

GitHub ↗ crates.io ↗ Compare with…

Quick Verdict

!Pre-1.0: API may have breaking changes

Security

Checking security advisories...

Downloads

31.3K

Dependents

Releases

Size

59KB

Deep Insights

📈

Strong growth momentum

39 downloads in the last 30 days (1/day), up 1850% from the previous period.

🔬

Pre-1.0 for over a year

Despite being 2+ years old, tatam hasn't reached 1.0 yet. Expect potential API changes between versions.

Health Breakdown

Maintenance 11/25

Recency, release consistency, active ratio

Quality 13/25

Yanked ratio, deps, size, maturity, features

Community 3/20

Reverse deps, ownership, ecosystem

Popularity 5/15

Downloads, momentum, growth trend

Documentation 10/15

Docs, repo, license, metadata

Download Trend

Daily downloads · last 90 days

1/day avg+0%

Version Adoption

v0.3.5

22%

v0.3.4

20%

v0.1.1

20%

v0.2.4

19%

v0.3.2

19%

Release Timeline

35 releasessince 2023

2023

2024

2025

2026

Less

README

Loading README...

Maintainers

David Doose

9 crates

Dependencies

direct dependencies