taco-interval-ta

v0.1.0crates.io· Rust

A crate allowing you to obtain a threshold automaton with an (symbolic) interval abstraction applied to it. This crate is part of the TACO toolsuite.

The verdict

Maintained. Niche but maintained, actively maintained.

Live from the crates.io registry · derived rules, not AI

How it scores

MaintenanceHealthy

PopularityNiche

SecurityClean

LicenseOther

DepsZero deps

Maintenance

Last published 4 months ago.

Popularity

11 downloads / week

Security

No known advisories for this version (OSV).

License

non-standard

Dependencies

No runtime dependencies

Recent releases