Code base to Synthesize Genetic Circuits characterized and specified using Signal Temporal Logic - View it on GitHub