progsyn.AutoLifter

Artifact for TOPLAS24: Decomposition-Based Synthesis for Applying D&C-Like Algorithmic Paradigms

Name

AutoLifter

Homepage

• https://github.com/jiry17/AutoLifter

License

• MIT License

Platforms

• x86_64-linux

Defined

Source