rustio rustio.net
41

taco-smt-model-checker

v0.1.0 Experimental

Model Checker encoding threshold automaton and a property into a single SMT query. This model checker is part of the TACO toolsuite.

non-standard Edition 2024
Science #verification#model-checker#threshold-automaton

Quick Verdict

  • โœ“Actively maintained (updated 44d ago)
  • !Pre-1.0: API may have breaking changes
  • !75% of releases were yanked

Security

Checking security advisories...
Downloads
91
Dependents
4
Releases
4
Size
24KB

Deep Insights

๐Ÿ“Š
Stable downloads

21 downloads in the last 30 days (1/day). Volume is roughly flat compared to the previous period.

๐Ÿ“
Compact crate

At 23KB, taco-smt-model-checker is lightweight. Small crate size correlates with focused, well-scoped functionality.

โš ๏ธ
Notable yanked versions

75% of releases have been yanked. Check version history before pinning.

Health Breakdown

Maintenance 16/25

Recency, release consistency, active ratio

Quality 8/25

Yanked ratio, deps, size, maturity, features

Community 7/20

Reverse deps, ownership, ecosystem

Popularity 2/15

Downloads, momentum, growth trend

Documentation 8/15

Docs, repo, license, metadata

Download Trend

Daily downloads ยท last 90 days
1/day avg-65%
010203012/291/162/32/213/113/28

Top Dependents

Most downloaded crates that depend on taco-smt-model-checker

Version Adoption

v0.1.0
100%

Release Timeline

4 releases3 yankedsince 2026
J
F
M
A
M
J
J
A
S
O
N
D
2026
4
Less
More|
Yanked

Feature Flags

parallel

README

Loading README...

Maintainers

Dependencies
11
direct dependencies
Dependents
4
crates depend on taco-smt-model-checker

Similar Crates