Text this: Logic Synthesis for Genetic Diseases