<p><span class="h-card" translate="no"><a href="https://recurse.social/@jleigh" class="u-url mention">@<span>jleigh</span></a></span> LUT synthesis quality isn't as good as abc's `&if` but we're getting there; optimization quality is at least as good as Yosys at a fraction of the runtime</p>