# TACO Display Utilities
This crate provides some simple functions to convert iterators into pretty
strings and to format multi-line strings.
This crate is part of the TACO toolsuite for threshold automata. You can
find more background on related crates on the
[TACO website](https://taco-mc.dev).