taco-model-checker
v0.1.0crates.io· RustModel Checker interface and specification definitions for model checkers that are 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
21 downloads / week
Security
No known advisories for this version (OSV).
License
non-standard
Dependencies
No runtime dependencies
Recent releases
- 0.1.04 months ago
- 0.1.0-alpha.34 months ago
- 0.1.0-alpha.24 months ago
- 0.1.0-alpha.14 months ago