taco-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
- 8
Releases per month
last 12 monthsRelease mix
- pre 3
4
releases
Dependencies
Depends on
0.1.0-
lazy_static
^1.5.0
-
log
^0.4.28
-
serde
^1.0.228
-
taco-bdd
^0.1.0
-
taco-display-utils
^0.1.0
-
taco-smt-encoder
^0.1.0
-
taco-threshold-automaton
^0.1.0
-
walkdir
^2.5.0
dev
Used by
6Releases
| Version | Released | |
|---|---|---|
0.1.0
initial
|
0.1.0
initial
Dependencies (8)
|
|
0.1.0-alpha.3
pre
yanked
|
0.1.0-alpha.3
pre
yanked
Dependencies (8)
|
|
0.1.0-alpha.2
pre
yanked
|
0.1.0-alpha.2
pre
yanked
Dependencies (8)
|
|
0.1.0-alpha.1
pre
yanked
|
0.1.0-alpha.1
pre
yanked
Dependencies (8)
|