search

lightstep / superposition

Imported from EraDB
MIT License
0 stars 1 forks source link

Parallel depth-first search #26

Open rw opened 3 years ago

rw commented 3 years ago

For comparison, it would be good to look at how TLC (in the TLA+ Toolbox) does it. I believe they send batches of jobs to workers, to reduce coordination overhead.