Un marco de diseño orientado a la optimización formal para la bioimpresión 3D basada en extrusión | Synapse