Per esportare un file IFC occorre:
- dal menù Involucro accedere alla schermata di input grafico
- selezionare il comando Esporta nella barra dei comandi in alto nella schermata.
- selezionare la voce Esporta disegno in formato IFC
- selezionare il percorso di salvataggio del file e quindi premere OK per confermare.