Converting tcl to sdc

[Aziz]

What is the fastest way to convert a pt-tcl file into sdc format?
Any ready scripts which don't warrant reading in the netlist will
be of immense help.

Thanks!