lightstep / superposition

Imported from EraDB
MIT License
0 stars 1 forks source link

Use a symmetry in ChoiceSet to shrink state space. #24

Closed rw closed 4 years ago

rw commented 4 years ago

In one simulation I'm writing, this change shrunk the number of states from 376 million down to 10 million.