Post #1750301
2026-04-15 19:40 UTC
@thalia @dougmerritt have you heard of the SMT backend added to MLIR? (Or maybe you were involved in that?)
Replies (1)
-
@thalia@discuss.systems 2026-04-15 19:41
@j2kun @dougmerritt Yeah, my group uses it a lot.