- write_intersynth;
- write_json;
- write_simplec;
- write_smt2;
- write_smv;
- write_spice;
- write_table;
- write_verilog;
- write_xaiger.