strong_simulation_gauss_sum_rank.git Lucas+Kocia
strong_simulation_stabilizer_rank.git Lucas+Kocia
weak_simulation_stab_extent.git Lucas+Kocia