Symmetry breaking fingerprinting - #150

Draft

Alex-Fischman wants to merge 10 commits into

mainfrom

symmetry-breaking-fingerprinting

Commits on Aug 6, 2023

Copy old canonical IsoStateSet
Alex-Fischman
committed
072ca08
Copy old canonical IsoStateSet
Alex-Fischman
committed
e549b23
Finish add-all version, start testing
Alex-Fischman
committed
2cb6cf8
Remove print statement
Alex-Fischman
committed
e5afe7f
Use bitvec again for slight release mode speedup
Alex-Fischman
committed
8d59153
Reduce IsoStateSet API
Alex-Fischman
committed
f0dc0ee
Swap ordering order to match insert()
Alex-Fischman
committed
ffa4613
Fix queue length printing
Alex-Fischman
committed
fa6ae10

Commits on Aug 7, 2023

Do symmetry breaking on initital states as well
Alex-Fischman
committed
26f23cd
Implement fingerprinting instead of add-all algorithm
Alex-Fischman
committed
4ea5960