Crate torg_verify 

Formal verification for TØR-G boolean circuits.

This crate provides SAT/BDD solver integration for verifying properties of TØR-G graphs.

Re-exports

pub use torg_core;