A library to obtain Rectilinear Steiner Minimal Trees
A library to obtain Rectilinear Steiner Minimal Trees
.
Fast construction of rectilinear steiner minimal trees (RSMT) in two dimensions.
Routing primitives (Planner / Stylizer / Bundler) for klayout-rs
Rust implementation of two dimensional Reed-Solomon merkle tree data availability scheme.
Wrapper for SMT-LIB 2 compliant SMT solvers.
Wrapper for SMT-LIB 2 compliant SMT solvers. With ZZ downstream fixes
Utility functions for SMTP applications, no backwards compatibility guarantees.