-
Laurent XU authored
Some states can become identical once their history matrix are cleaned. These states are merged and only store the cleaned matrix. * spot/twaalgos/parity.cc: Here.
192fb6c1
Some states can become identical once their history matrix are cleaned. These states are merged and only store the cleaned matrix. * spot/twaalgos/parity.cc: Here.