Synthesis from Inductive specification eMpowered by Bidirectional Abstract Interpretation - View it on GitHub