let ovs_user = "root"

let ovs_passwd = "pica8"

let topo = ref ""

let policy = ref ""

let pretty = ref false

let verbose = ref false

let timing = ref false

let shortname = ref true

let mnovs = ref true

let stat = ref false

let gurobi = ref true

let test = ref false

let sink = ref false

let dl_vlan = ref 0xFFFF
