write_btor - write design to BTOR file

    write_btor [filename]

Write the current design to an BTOR file.