taco-smt-model-checker
- Latest release
- Jan 20, 2026
- Releases
- 4
- Known CVEs
- 0
- First release
- Jan 19, 2026
- License
- non-standard
Insights
Activity
- Total releases
- 4
- Last 12 months
- 4
- Cadence
- ~daily
- Dependencies
- 11
Releases per month
last 12 monthsRelease mix
- unknown 4
4
releases
Dependencies
Depends on
0.1.0-
env_logger
^0.11.8
dev
-
futures
^0.3.31
-
itertools
^0.14.0
-
log
^0.4.28
-
taco-display-utils
^0.1.0
-
taco-model-checker
^0.1.0
-
taco-parser
^0.1.0
dev
-
taco-smt-encoder
^0.1.0
-
taco-threshold-automaton
^0.1.0
-
tokio
^1.48.0
1–10 of 11
Used by
Nothing tracked depends on this yet.
Releases
| Version | Released | |
|---|---|---|
0.1.0
unknown
|
0.1.0
unknown
Dependencies (11)
+ 3 more |
|
0.1.0-alpha.3
unknown
yanked
|
0.1.0-alpha.3
unknown
yanked
Dependencies (11)
+ 3 more |
|
0.1.0-alpha.2
unknown
yanked
|
0.1.0-alpha.2
unknown
yanked
Dependencies (11)
+ 3 more |
|
0.1.0-alpha.1
unknown
yanked
|
0.1.0-alpha.1
unknown
yanked
Dependencies (11)
+ 3 more |