SolvSRK-Edge
Release: Production (GA)
Embedded tactical dynamics runtime
SolvSRK-Edge is not a separate solver — it is libsolvsrk built for
the deployment target (cross-compiled ARM, embedded Linux, RTOS-hosted POSIX).
The lifecycle promise is digital-twin parity: the binary exercised in HIL is
the binary that ships on the platform.
Cross-target parity validated across representative benchmark problems. SolvSRK-Edge includes
UQ enabled (emit_uq) in v2.3 with no separate UQ SKU.
What it does
SolvSRK-Edge is the same SolvSRK library cross-compiled for your deployment target — ARM tactical processor, embedded Linux, RTOS-hosted POSIX. The promise is digital-twin parity: the binary you exercise in HIL is the binary on the platform.
It is not a different solver or a cut-down runtime. You calibrate on the engineering bench with
desktop SolvSRK (optionally using SolvJump for parameter sweeps), prove the finalist with a
golden run, then deploy that frozen config with the Edge binary. UQ (emit_uq) is included
in v2.3 — no separate Edge UQ license.
When to use it
Defense GN&C, onboard nonlinear physics, any program requiring lab → HIL → field numerical agreement.
See Examples for runnable code.
Who it is for
- Defense GN&C programs deploying nonlinear physics on tactical processors
- Digital-twin teams requiring lab → HIL → field binary parity
- Embedded Linux and RTOS-hosted POSIX deployments
What ships
- Static library / shared object for ARM and x86 tactical targets
- Same Python/C API as SolvSRK
- ITAR air-gapped build available on request