QUALIFICATION RECORD · IP-4273
UCS Solver
Deterministic binary-linear optimization runtime with branch-and-bound, propagation, independently checkable solution certificate and native-core plugin boundary.
Public evidence basis
- Stage / release
- 1.0
- Evidence
- The controlled product-release layer includes executable reference surfaces and qualification records. Request the exact selected release bundle.
- Source
- Bible v7.42 §112 / §135, IP-4273
- Process
- Release-specific / not generalized
- PDK
- Release-specific / not generalized
- External qualification
- Not asserted by this website release