Sketch

https://github.com/logic-and-learning-lab/Popper

synquid

barliman

https://github.com/TyGuS/suslik syntheiss of heap maniuplation programs from seperation lgoic

https://www.youtube.com/watch?v=mFjSbxV_1vw&ab_channel=Fastly Synthesis in reverse engineering