voqc

A verified optimizer for quantum circuits (VOQC)
Library voqc
val is_in_graph : int -> int -> int -> bool

val move_left : int -> int -> int list *

val move_left : int -> int -> int list

val move_right : int -> int -> int list *

val move_right : int -> int -> int list

val get_path : int -> int -> int list *

val get_path : int -> int -> int list

val get_nearby : int -> int -> int list *

val get_nearby : int -> int -> int list

val q_ordering : int -> int option -> int list *

val q_ordering : int -> int option -> int list