cozy v1.0.3
This is the first release of cozy published on the main PyPI server. The primary new feature in this release is the use of unsat core to speed up symbolic diffing. Also included is segment alignment in the visualization, which can be triggered by pressing shift and hovering over nodes.