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

SolvSRK: Licensing

Release: Production (GA)

Overview

SolvSRK uses offline, machine-locked Ed25519 .lic files. There is no phone-home — validation is entirely local. There is no eval wheel; every download is a production build.

PropertyValue
License prefixsolvsrk-license-v3
SignatureEd25519 (RFC 8032)
Machine binding64-char hardware fingerprint in signed payload
Trial30-day trial available via Resonix portal

Customer flow

  1. Install the release wheel from resonix.io/account (opens in a new tab) (pip install path/to/solvsrk-*.whl)
  2. Get machine code: python -m solvsrk
  3. Request trial at the Resonix portal — paste your machine code
  4. Download solvsrk.lic from your profile
  5. Activate: python -m solvsrk activate ~/solvsrk.lic
  6. Verify: python -m solvsrk status
pip install path/to/solvsrk-*.whl
python -m solvsrk
# Copy the 64-char machine code to the portal
 
python -m solvsrk activate ~/Downloads/solvsrk.lic
python -m solvsrk status

License file location

After activation, the license is installed to the platform-specific path reported by python -m solvsrk status. Re-activation overwrites the previous license on the same machine.

Renewal

Before expiry, request a renewed .lic from the portal with the same machine code. Commercial seat and site licenses follow annual subscription terms — contact Resonix sales for Enterprise and Embedded tiers.

Troubleshooting

SymptomFix
LicenseError / license failure on first API callRun python -m solvsrk activate ...
"Signature invalid"Re-download .lic — do not edit the file
"Machine mismatch"License was issued for a different machine code
"Expired"Request a new seat file from the portal

Trial vs purchased SKUs

SeatSigned featuresUQ (emit_uq)
30-day trialuqIncluded
SolvSRK (purchased)(omit)Not included — buy SolvSRK-UQ
SolvSRK-UQ (purchased)uqIncluded
SolvSRK-Edge (purchased)edgeIncluded

Check solvsrk.license_has_uq() before enabling UQ. See SolvSRK-UQ licensing.

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