Module `Se.SE_Engine`

Symbolic Simulator

val run : Circuit.t -> SBackend.qstate