+ * #### export_net [filename]
+ Exports the currently loaded network to a file.
+ If the currently loaded network is the embedded network and the filename
+ is not specified then the network is saved to the file matching the name
+ of the embedded network, as defined in evaluate.h.
+ If the currently loaded network is not the embedded network (some net set
+ through the UCI setoption) then the filename parameter is required and the
+ network is saved into that file.