itf (cargo): Library for consuming Apalache ITF traces
Keywords: serialization|trace|apalache|model-based-testing|rust