CCX+HMR isn't universal, unless you can prepare |+>

Recently, I’ve been working on a fast simulator for reversible classical circuits assisted by measurement based uncomputation . Basically it’s just doing the strategy I pointed out back in 2019 . The simulator supports the CCX gate for classical computation, the HMR (Hadamard+Measure+Reset) gate for measurement based computation, and phase...