horde-ad icon indicating copy to clipboard operation
horde-ad copied to clipboard

Published 20 hours ago • verified publisher icon Mikolaj

Try equality saturation for our simplifcation/vectorization rewriting system

Open Mikolaj opened this issue 1 year ago • 11 comments

This is the hammer and it may just succeed: https://github.com/alt-romes/hegg

Mikolaj avatar May 11 '23 14:05 Mikolaj