Synthesize a short A=B rewriting program for substring detection test families.
All challenges
Keywordsprogram-synthesis
The Empress
openWrite a compact Push-Pop program that halts after exactly the requested odd number of steps.
Synthesize a short A=B rewriting program for substring detection test families.
Write a compact Push-Pop program that halts after exactly the requested odd number of steps.