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

4 downloads in the last 30 days (0/day), up 100% 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 10/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

0/day avg

Version Adoption

v0.3.16

21%

v0.3.17

21%

v0.3.18

21%

v0.3.15

20%

v0.4.2

16%

Release Timeline

10 releasessince 2025

2025

2026

Less

README

Loading README...

Maintainers

David Doose

9 crates

Dependencies

direct dependencies