SolvNum: Integration
Python API
from solvnum import SolvNum
a = SolvNum.from_double(3.14159)
b = SolvNum.from_double(2.71828)
c = a.mul(b)
d = a.div(b)
dot = a.dot(b)
h = a.attest_hash() # cross-platform verification digest
# Bounded-update covenant
result = SolvNum.bounded_update(a, b, bound=1e-6)Convert back to float only at system boundaries:
approx = c.to_double()C API
Include solvnum.h for the full deterministic log-domain ABI.
Vertical SKUs
License the SKU matching your regulatory regime:
| SKU | Regulatory context |
|---|---|
| Defense | ITAR / EAR / DoD certification |
| Finance | SR 11-7 / FRTB / SEC |
| ZK | Consensus-protocol governance |
| Medical | FDA 510(k) / IEC 62304 |
| Embedded | DO-178C / ISO 26262 |
| Scientific | Institutional reproducibility |
Related products
On-chain variant: Blockchain Arithmetic. Pairs with SolvSRK for certified trajectories.