taco-smt-encoder

v0.1.0crates.io· Rust

A crate defining the SMT encodings of threshold automata components into SMT. 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

23 downloads / week

Security

No known advisories for this version (OSV).

License

non-standard

Dependencies

No runtime dependencies

Recent releases