Software central de lógica temporal de la teoría de la energía de las velas