Compilation and synthesis of inputs on the sixth TED
Open