# reCTBN Exporter

You must create a file named `networks-settings.json` in the same folder you
are executing this command.

The json must be something like this:

```json
[
    {
        "nodes_cardinality": 5,
        "domain_cardinality": 2,
        "density": 0.1,
        "interval_s": 3.0,
        "interval_f": 7.0,
        "n_trajectories": 300,
        "t_end": 200.0,
        "sg_seed": 123456,
        "cg_seed": 12345,
        "tg_seed": 1234
    },
    {
        "nodes_cardinality": 4,
        "domain_cardinality": 2,
        "density": 0.3333,
        "interval_s": 3.0,
        "interval_f": 7.0,
        "n_trajectories": 300,
        "t_end": 200.0,
        "sg_seed": 1234563232,
        "cg_seed": 1234522,
        "tg_seed": 123432
    }
]
```