Product documentation — installation, licensing, and integration guides.
SolvSRK
Overview

SolvSRK

Release: Production (GA)

Stiffness-adaptive ODE integrator for stiff and noisy dynamics

SolvSRK integrates stiff ordinary differential equations under real-world sensor noise and nonsmooth forcing — the regime where stock BDF (scipy, MATLAB ode15s, vanilla SUNDIALS) often collapses or misses real-time deadlines.

You supply an RHS (and optional Jacobian); the library owns the integrator. Ships as C library (libsolvsrk), Python wheel, and optional Java JNA JAR for Cameo MSOSA.

Uncertainty quantification: the 30-day trial includes SolvSRK-UQ (emit_uq). After purchase, SolvSRK and SolvSRK-UQ are separate SKUs — see the full SolvSRK-UQ section.

What it does

You have a differential equation model — flight dynamics, reactor kinetics, battery thermal, PK/PD — that is stiff (widely separated time scales) and noisy (sensor corruption or non-smooth inputs). Standard BDF solvers (scipy, MATLAB ode15s, vanilla CVODE) Newton-iterate against the noise: step size collapses, wall-clock blows, integration fails or misses real-time deadlines.

SolvSRK is a stiffness-adaptive integrator built for that regime. You supply an RHS function (and optional Jacobian); the library owns the integrator. Same numerical core in C and Python — no second engine.

UQ: the 30-day trial includes SolvSRK-UQ (emit_uq). After purchase, base SolvSRK and SolvSRK-UQ are separate SKUs.

When to use it

Stiff + noisy ODE simulations in defense GN&C, aerospace, automotive ADAS, industrial controls, biotech, energy — anywhere BDF "works but barely" or fails under sensor noise.

See Examples for runnable code.

Who it is for

  • Defense GN&C, aerospace flight dynamics, and automotive ADAS simulation
  • Industrial controls and biotech PK/PD with stiff + noisy dynamics
  • Embedded programs needing static archive redistribution

What ships

  • C library (libsolvsrk) + static archive for embedded
  • Python wheel (solvsrk) — ctypes, same numerical core
  • Java JNA JAR for Cameo MSOSA / Jython constraint blocks
  • Trial includes UQ; purchased SolvSRK-UQ add-on for production envelopes

Related products

Filter primitive: SolvFilter. Deterministic substrate: SolvNum. UQ add-on: SolvSRK-UQ.

LicensingInstall