🎺 A tool to automatically find counterexamples to external equivalence problems. - View it on GitHub