Index of /crates.io-index/ta/co/

../
taco                                               02-Feb-2026 03:26    5060
taco-acs-model-checker                             20-Jan-2026 22:23    5921
taco-bdd                                           20-Jan-2026 22:23    4637
taco-cli                                           20-Jan-2026 22:23     11K
taco-display-utils                                 20-Jan-2026 22:23     789
taco-interval-ta                                   20-Jan-2026 22:23    4881
taco-model-checker                                 20-Jan-2026 22:23    5081
taco-parser                                        20-Jan-2026 22:23    5269
taco-smt-encoder                                   20-Jan-2026 22:23    3557
taco-smt-model-checker                             20-Jan-2026 22:23    6709
taco-threshold-automaton                           20-Jan-2026 22:23    3305
taco-zcs-model-checker                             20-Jan-2026 22:23    5941
taco_dev                                           02-Feb-2026 03:26     415
taco_format                                        12-Jan-2026 19:19    6320
tacobell                                           02-Feb-2026 03:26     298
tacoda_grrs                                        02-Feb-2026 03:26    3520
tacos                                              02-Feb-2026 03:26    1153