Lattice surgery-based logical operations in a fault-tolerant quantum software framework | IEEE Conference Publication | IEEE Xplore