GitHub repository: yhyoon/simba
Primary language: Slash
Description: Synthesis from Inductive specification eMpowered by Bidirectional Abstract Interpretation