synth-smt Crate

SMT solver integration for geometric and electrical constraint satisfaction.

`synth-smt` Crate

The synth-smt crate translates complex spatial and electrical constraints into SMT-LIB formulas to assist placement and routing algorithms in finding provably optimal layouts.

synth-drc Crate

Design Rule Checking engine and diagnostic reporter.

Enterprise System Architecture

How synth-ee consumes the open-source synth workspace and extends it with enterprise crates.

synth-smt Crate

synth-smt Crate

On this page

`synth-smt` Crate