[dvdplm]

This is very cool. Do you have any advice on papers to read to understand the details of search based compilation a bit more?

[jafioti]

a lot of the ideas luminal is built on are here: https://arxiv.org/abs/2304.04332