We release a soft and fast pattern matcher, SoftMatcha [(Deguchi et al., ICLR 2025)](https://openreview.net/forum?id=Q6PAnqYVpo). The usage of this software is described in README.
If you find any bugs, please feel free to let know us via issues or pull requests.