diff options
| author | Brian Campbell | 2019-05-20 12:43:49 +0100 |
|---|---|---|
| committer | Brian Campbell | 2019-05-20 12:43:49 +0100 |
| commit | d056c9864972007dd7432a633b3fb0400f49048d (patch) | |
| tree | df02127263e47dfdca36d7061fcd581a0241969c /src/initial_check.ml | |
| parent | e7c8371bd02ff474047c64150d61a4deadbba2fc (diff) | |
Speed up graph construction by always keeping graph in normalized form
Only checks the leaves that were added in each add_edge/add_edges call.
Slicing bits of the 8.5 model went (for me) from intractable to about
one second.
Diffstat (limited to 'src/initial_check.ml')
0 files changed, 0 insertions, 0 deletions