itf 0.3.0

Library for consuming Apalache ITF traces
Documentation