Exact-aware circuit MNA carriers and adapter reports for the Hyper ecosystem
Exact-aware evolutionary and proposal-search carriers for the Hyper ecosystem
Exact-aware path predicates and route constraints for the Hyper ecosystem
Hyperreal-backed physical simulation primitives
Exact rational and computable real arithmetic in Rust
Hyperreal-backed nonlinear solving and constraint evaluation