pyzx icon indicating copy to clipboard operation
pyzx copied to clipboard
verified publisher icon Quantomatic

Add support for fault-equivalent rewrite rules

Open boldar99 opened this issue 2 months ago • 6 comments

Implements several fault-equivalent (FE) rewrite rules, including:

  • elim_FE
  • color_change_FE
  • fuse_1_FE
  • unfuse_1_FE
  • unfuse_4_FE
  • unfuse_5_FE
  • unfuse_2n_FE
  • recursive_unfuse_2n_FE

Adds support for w-fault-equivalent rewrites via a w parameter for unfuse_2n_FE and recursive_unfuse_2n_FE.

boldar99 avatar Oct 13 '25 15:10 boldar99