---
title: 46-product system interaction map | SpinForge
url: https://spin-forge.com/system-synergies/product-map
description: Explore the role each product could play in the six proposed system connections. Existing products retain their identities, access modes and scope; a…
---

64-ENTRY INTERACTION MAP [Explore all 64 product roles](https://spin-forge.com/system-synergies/product-map)

# Every product.
Its useful connection.

Explore the role each product could play in the six proposed system connections. Existing products retain their identities, access modes and scope; a proposed join is not an already-delivered integration.

Cross-product integration / customer qualification Existing products · CLI · MCP · Headless

The products retain their available interfaces. These connections describe integration and evaluation opportunities—not a claim that every combined runtime has been delivered.

[S1 · Joint workload & machine optimization](https://spin-forge.com/system-synergies/joint-configuration) [S2 · Decision-sensitive computation](https://spin-forge.com/system-synergies/decision-sensitive-compute) [S3 · Checked computational memory](https://spin-forge.com/system-synergies/checked-computational-memory) [S4 · Options, flexibility & recourse](https://spin-forge.com/system-synergies/options-and-recourse) [S5 · Cross-domain exact reformulation](https://spin-forge.com/system-synergies/exact-reformulation) [S6 · Checked improvement feedback](https://spin-forge.com/system-synergies/checked-improvement)

Search products or responsibilities

Product family

System connection

64 catalog entries

**SpinForge + Atlas Application / engine S1 S2 S4 S5 + **SUPPLIED ROLE
Supported discrete optimization and execution planning.

CONNECTION / CONTRIBUTION
Generate candidate customer decisions and execution plans; evaluate whether a different representation or resource configuration changes attainable results.

BOUNDARY
Shared cost model; original-model mapping; source-bound checks.

[Product details ](https://spin-forge.com/spinforge)

**SpinRoute Application S1 S6 + **SUPPLIED ROLE
QUBO-based inference routing for supported cache-locality and mixture-of-experts load-balancing workflows.

CONNECTION / CONTRIBUTION
Choose routing together with cache locality, concurrency and eligible kernel configurations.

BOUNDARY
Preserve model quality and semantic routing requirements; this is not HTTP request routing or VRP.

[Product details ](https://spin-forge.com/spinroute)

**SpinMem Application S1 S3 + **SUPPLIED ROLE
Optimal data-placement software for memory-bound LLM inference across L2, HBM, CXL and NVMe.

CONNECTION / CONTRIBUTION
Price retention and placement using future reuse and avoided recomputation, not only bytes occupied.

BOUNDARY
KV compatibility and placement contracts; savings measured including movement.

[Product details ](https://spin-forge.com/spinmem)

**SpinKernel Application S1 S6 + **SUPPLIED ROLE
GPU kernel optimization as a QUBO, with supported configuration selection and code generation.

CONNECTION / CONTRIBUTION
Tune for the representation, batching and placement actually selected by the system; optimize frequently used internal operations where supported.

BOUNDARY
Not a universal compiler or semantic proof engine; numerical and end-to-end qualification remain required.

[Product details ](https://spin-forge.com/spinkernel)

**SpinSovereign Application S1 S2 S4 + **SUPPLIED ROLE
Turnkey sovereign-AI infrastructure with supported compliance and placement rules expressed as QUBO constraints.

CONNECTION / CONTRIBUTION
Choose the compute work that best improves the downstream decision within authorized resource and policy limits.

BOUNDARY
Runtime authority, deadlines, policies and control timescales must be explicit.

[Product details ](https://spin-forge.com/spinsovereign)

**SpinProof Application S1 S2 S6 + **SUPPLIED ROLE
Profiling, ranked improvement plans and performance/quality evaluation.

CONNECTION / CONTRIBUTION
Measure whether combinations improve accepted useful work, including overhead and quality.

BOUNDARY
Empirical quality tests are not mathematical optimality certificates.

[Product details ](https://spin-forge.com/spinproof)

**SpinCache Application S1 S2 S3 + **SUPPLIED ROLE
KV compression and supported direct decode.

CONNECTION / CONTRIBUTION
Change the memory representation so a new batching/routing regime becomes feasible; evaluate task-sensitive fidelity.

BOUNDARY
No inherited end-to-end error guarantee; allowed representations and customer quality thresholds need validation.

[Product details ](https://spin-forge.com/spincache)

**GARMO UCS Core platform S1 S2 S4 S5 + **SUPPLIED ROLE
Native search for supported constraint models.

CONNECTION / CONTRIBUTION
Express joint resource, decision and candidate-eligibility constraints where supported.

BOUNDARY
Do not equate its model support with every UNISOLVE theory; define ownership of search.

[Product details ](https://spin-forge.com/ucs)

**GarmoForge Core platform S1 S2 S4 S5 S6 + **SUPPLIED ROLE
Structure-aware formulation, strategy selection and repair.

CONNECTION / CONTRIBUTION
Coordinate representation and repair choices rather than blindly trying every engine.

BOUNDARY
Do not duplicate UNISOLVE and Atlas controllers; explicit budget and objective ownership.

[Product details ](https://spin-forge.com/garmoforge)

**UNISOLVE Core platform S1 S2 S3 S4 S5 S6 + **SUPPLIED ROLE
Supported solve-any dispatch, exact/numerical paths, original-source checks, theorem transport, sessions and recovery.

CONNECTION / CONTRIBUTION
Act as one computational and checking backbone for admitted cross-product claims.

BOUNDARY
82 registered profiles are not 82 independent algorithms; global, regional, statistical and numerical trust remain distinct.

[Product details ](https://spin-forge.com/unisolve)

**LatForge Forge15 S5 + **SUPPLIED ROLE
Lattice basis reduction with reduction/lattice-related checks.

CONNECTION / CONTRIBUTION
Propose useful integer-coordinate changes for compatible MIP/constraint subproblems, not only crypto workloads.

BOUNDARY
Requires a complete integer parametrization and explicit exact transformation evidence; equal determinants alone do not prove lattice equality.

[Product details ](https://spin-forge.com/forge15/latforge)

**modalg Forge15 S3 S5 + **SUPPLIED ROLE
Exact determinant and linear-solve computations.

CONNECTION / CONTRIBUTION
Assist exact algebraic checking and reconstruction for model transformations and retained evidence.

BOUNDARY
Use valid bounds/reconstruction and admitted arithmetic; it is not automatically an HNF/SNF implementation.

[Product details ](https://spin-forge.com/forge15/modalg)

**ANNForge Forge15 S3 S4 S6 + **SUPPLIED ROLE
Approximate nearest-neighbor retrieval and recall evaluation.

CONNECTION / CONTRIBUTION
Retrieve candidate reusable proofs, policies, configurations or diverse prior solutions.

BOUNDARY
Similarity is never a validity proof; misses reduce reuse, not correctness, if fallback is sound.

[Product details ](https://spin-forge.com/forge15/annforge)

**sketchstream Forge15 S1 S2 S3 + **SUPPLIED ROLE
Compact frequency/cardinality estimation over streams.

CONNECTION / CONTRIBUTION
Estimate hot workload/state classes and target profiling or retrieval effort.

BOUNDARY
Approximate telemetry must not authorize hard constraints without a sufficient conservative or exact check.

[Product details ](https://spin-forge.com/forge15/sketchstream)

**GraphForge Forge15 S1 S3 S4 + **SUPPLIED ROLE
PageRank, connected components and shortest paths with algorithm-specific checks.

CONNECTION / CONTRIBUTION
Analyze an explicitly built dependency or candidate-transition graph for locality, reuse and alternatives.

BOUNDARY
Correct dependency extraction and source provenance are additional work; generic graph algorithms do not establish business semantics.

[Product details ](https://spin-forge.com/forge15/graphforge)

**SATForge Forge15 S1 S4 S5 + **SUPPLIED ROLE
SAT solving and independent satisfying-assignment checks.

CONNECTION / CONTRIBUTION
Check supported logical eligibility and candidate decisions in fast specialized paths.

BOUNDARY
Assignment checking alone gives no UNSAT proof.

[Product details ](https://spin-forge.com/forge15/satforge)

**bnb_certified Forge15 S1 S2 + **SUPPLIED ROLE
Exact 0/1 knapsack optimization.

CONNECTION / CONTRIBUTION
Choose a bounded subset of independent optional compute/profiling tasks under a budget.

BOUNDARY
Dependency-rich scheduling requires a more appropriate model; not a general MIP replacement.

[Product details ](https://spin-forge.com/forge15/bnb-certified)

**ValueForge Forge15 S2 S4 + **SUPPLIED ROLE
Supported MDP value iteration and error checking.

CONNECTION / CONTRIBUTION
Plan which computational action or future decision has value under a bounded, calibrated transition model.

BOUNDARY
Not general POMDP support; state abstraction and error conditions must be checked.

[Product details ](https://spin-forge.com/forge15/valueforge)

**krylov_scale Forge15 S2 + **SUPPLIED ROLE
Matrix-free systems and extreme eigenvalues with true-residual checking.

CONNECTION / CONTRIBUTION
Refine only decision-relevant numerical quantities where residual-to-error bounds exist.

BOUNDARY
Conditioning matters; a residual alone does not bound solution error.

[Product details ](https://spin-forge.com/forge15/krylov-scale)

**SpectralForge Forge15 S2 S6 + **SUPPLIED ROLE
FFT, convolution and spectral-PDE computations.

CONNECTION / CONTRIBUTION
Provide numerical model evaluations at qualified resolutions as part of a decision-driven computation plan.

BOUNDARY
Round-trip/Parseval checks do not bound every downstream physical-model error.

[Product details ](https://spin-forge.com/forge15/spectralforge)

**TomoForge Forge15 S2 S6 + **SUPPLIED ROLE
Reconstruction from noisy linear measurements with data-fit residual.

CONNECTION / CONTRIBUTION
Recover the state information that could change a customer decision; choose additional measurement work where supported.

BOUNDARY
A small data-fit residual is not a universal state-error guarantee. Supplied campaign did not exercise the matrix-free GPU path.

[Product details ](https://spin-forge.com/forge15/tomoforge)

**sinkhorn_ot Forge15 S2 S4 + **SUPPLIED ROLE
Discrete optimal transport with marginal checks.

CONNECTION / CONTRIBUTION
Compare or align admissible demand/state distributions or candidate portfolios.

BOUNDARY
Marginal agreement is not an unregularized optimum proof or a calibrated world-model guarantee.

[Product details ](https://spin-forge.com/forge15/sinkhorn-ot)

**enkf_scale Forge15 S2 S4 S6 + **SUPPLIED ROLE
Ensemble-based state estimation with observations.

CONNECTION / CONTRIBUTION
Maintain a calibrated estimate of evolving resources/environment for the compute and decision planner.

BOUNDARY
Ensemble spread alone is not a universal certified uncertainty set.

[Product details ](https://spin-forge.com/forge15/enkf-scale)

**certmc Forge15 S2 S4 + **SUPPLIED ROLE
Monte Carlo estimates with stated confidence intervals.

CONNECTION / CONTRIBUTION
Spend sampling effort on ambiguous decisions and estimated future recourse costs.

BOUNDARY
Adaptive sampling needs valid simultaneous/anytime coverage or a predeclared fixed sampling scheme.

[Product details ](https://spin-forge.com/forge15/certmc)

**certcount Forge15 S4 + **SUPPLIED ROLE
Ising log-partition estimation with confidence information.

CONNECTION / CONTRIBUTION
Study the distribution of supported low-energy solutions, rather than retaining only the best score.

BOUNDARY
Not general exact counting or universal uniform sampling; constraints/encodings and statistical scope matter.

[Product details ](https://spin-forge.com/forge15/certcount)

**StateForge AI infrastructure S1 S3 S6 + **SUPPLIED ROLE
GPU-native state, indexing, transactions and persistence.

CONNECTION / CONTRIBUTION
Persist typed computational artifacts, source revisions, reuse conditions and replay records close to appropriate workloads.

BOUNDARY
Artifact schema, tenant isolation and actual durability guarantees must be qualified; not every metadata operation needs a GPU.

[Product details ](https://spin-forge.com/stateforge)

**KX MemoryForge AI infrastructure S1 S2 S3 + **SUPPLIED ROLE
KV-cache compression, offload and restoration across supported tiers.

CONNECTION / CONTRIBUTION
Carry the chosen cache plan into execution and balance retained KV against recomputation.

BOUNDARY
It is a KV runtime, not an already demonstrated arbitrary proof-memory tier manager.

[Product details ](https://spin-forge.com/kx-memoryforge)

**GridForge AI infrastructure S1 S2 S4 + **SUPPLIED ROLE
Workload mapping across compute, power, cooling, memory and network.

CONNECTION / CONTRIBUTION
Expose physical-resource feasibility and costs to the customer-decision compute planner.

BOUNDARY
Planning does not imply live power/cooling control; models require calibration.

[Product details ](https://spin-forge.com/gridforge)

**AgentForge AI infrastructure S1 S2 S3 S6 + **SUPPLIED ROLE
Generation, scheduling, validation, storage and replay of agent workloads.

CONNECTION / CONTRIBUTION
Execute bounded observe/propose/solve/check/learn actions with retained traces.

BOUNDARY
It does not automatically contain a trained model, a safe multi-tenant host, or unrestricted execution authority.

[Product details ](https://spin-forge.com/agentforge)

**SpinForge Warp Synthesis S1 S6 + **SUPPLIED ROLE
Differentiable annealing that lets a learning workflow backpropagate through optimization.

CONNECTION / CONTRIBUTION
Differentiable annealing that lets a learning workflow backpropagate through optimization.

BOUNDARY
Differentiability is a product capability, not a guarantee of a global optimum or a universal learning speedup. The supplied table does not provide a product-specific benchmark, arbitrary-operation coverage or a universal gradient-correctness claim.

[Product details ](https://spin-forge.com/synthesis/warp)

**AMDE + ALCHEMI Synthesis S2 S4 + **SUPPLIED ROLE
Physics-grounded drug-discovery scoring through GPU molecular dynamics.

CONNECTION / CONTRIBUTION
Physics-grounded drug-discovery scoring through GPU molecular dynamics.

BOUNDARY
Computational scoring is not evidence of experimental binding, efficacy, toxicity or clinical suitability. Discovery Core is explicitly the engine behind AMDE; no separate unprovided ALCHEMI dependency is invented.

[Product details ](https://spin-forge.com/synthesis/amde-alchemi)

**Neural Schedule Synthesis S1 S6 + **SUPPLIED ROLE
Learned temperature schedules for annealing through a Fourier neural operator.

CONNECTION / CONTRIBUTION
Learned temperature schedules for annealing through a Fourier neural operator.

BOUNDARY
“Learned > heuristic” is the README’s claim; no general performance multiplier or cross-domain superiority is asserted here. A learned schedule does not supply an optimality certificate by itself.

[Product details ](https://spin-forge.com/synthesis/neural-schedule)

**GARMO Scientist Synthesis S2 S6 + **SUPPLIED ROLE
An autonomous discovery product organized around perceive  hypothesize  experiment  learn.

CONNECTION / CONTRIBUTION
An autonomous discovery product organized around perceive  hypothesize  experiment  learn.

BOUNDARY
Autonomous discovery describes the product’s role. It is not permission to control physical equipment, a guarantee of a new discovery or confirmation that every domain-specific integration is already qualified.

[Product details ](https://spin-forge.com/synthesis/garmo-scientist)

**Annealed Splatting Synthesis S1 S5 + **SUPPLIED ROLE
Hybrid 3D reconstruction using annealing for structure and gradients for parameters.

CONNECTION / CONTRIBUTION
Hybrid 3D reconstruction using annealing for structure and gradients for parameters.

BOUNDARY
The README table establishes hybrid 3D reconstruction, not universal scene coverage, a specific sensor interface or a measured speedup on all scenes.

[Product details ](https://spin-forge.com/synthesis/annealed-splatting)

**QC Bridge Synthesis S2 S5 + **SUPPLIED ROLE
A quantum–classical optimization bridge for warm starts, validation and hybrid workflows.

CONNECTION / CONTRIBUTION
A quantum–classical optimization bridge for warm starts, validation and hybrid workflows.

BOUNDARY
The June 18 quantum head-to-head study used statevector simulation, not quantum hardware. It is not evidence of a particular QC Bridge hardware integration or a universal quantum/classical advantage.

[Product details ](https://spin-forge.com/synthesis/qc-bridge)

**Gödel Optimizer Synthesis S6 + **SUPPLIED ROLE
A self-evolving optimizer that improves its optimization algorithms.

CONNECTION / CONTRIBUTION
A self-evolving optimizer that improves its optimization algorithms.

BOUNDARY
“Self-evolving” is the supplied product role. No universal monotonic improvement, proof of arbitrary generated code or autonomous production change is implied.

[Product details ](https://spin-forge.com/synthesis/godel-optimizer)

**Materials Factory Synthesis S2 S6 + **SUPPLIED ROLE
A self-improving materials-data pipeline built on the SpinForge core.

CONNECTION / CONTRIBUTION
A self-improving materials-data pipeline built on the SpinForge core.

BOUNDARY
The README states “1000× wet-lab speed.” No matched measurement record accompanies the supplied table, so this is not published as a general speed or experimental-equivalence promise.

[Product details ](https://spin-forge.com/synthesis/materials-factory)

**Embodied Optimizer Synthesis S4 S6 + **SUPPLIED ROLE
Physical optimization in which a robot solves combinatorial problems.

CONNECTION / CONTRIBUTION
Physical optimization in which a robot solves combinatorial problems.

BOUNDARY
The supplied table does not identify a universal robot adapter, external safety certification or authority for unrestricted physical control. Hardware and operating responsibilities are separately scoped.

[Product details ](https://spin-forge.com/synthesis/embodied-optimizer)

**Token Factory Synthesis S1 + **SUPPLIED ROLE
GPU-fleet scheduling formulated as a QUBO to maximize tokens per watt.

CONNECTION / CONTRIBUTION
GPU-fleet scheduling formulated as a QUBO to maximize tokens per watt.

BOUNDARY
Maximizing the modeled objective is the product purpose, not a claim of globally optimal production schedules or a guaranteed energy saving on every fleet. No multiplier is supplied in the table.

[Product details ](https://spin-forge.com/synthesis/token-factory)

**Recursive Engine Synthesis S6 + **SUPPLIED ROLE
The synthesis meta-system through which its eleven products improve one another.

CONNECTION / CONTRIBUTION
Existing synthesis meta-system for its products improving one another. Cross-portfolio additions are separately scoped.

BOUNDARY
The eleven-product family and Recursive Engine are existing products by the owner’s confirmation. The supplied table does not enumerate every runtime connection or establish a universal improvement rate. Cross-family additions require their own integration scope.

[Product details ](https://spin-forge.com/synthesis/recursive-engine)

**SpinForge Discovery Core Discovery S2 S4 + **SUPPLIED ROLE
The shared computational engine behind AMDE and SpinForge Bio.

CONNECTION / CONTRIBUTION
Confirmed shared engine behind AMDE and SpinForge Bio; no Bench dependency asserted.

BOUNDARY
The supplied clarification establishes dependencies on AMDE and SpinForge Bio. It does not establish a Bench dependency or a separate ALCHEMI engine link. A shared computational engine does not establish experimental biological validation.

[Product details ](https://spin-forge.com/discovery/core)

**SpinForge Bio Discovery S2 S4 + **SUPPLIED ROLE
Protein binder design producing a ranked candidate panel for downstream synthesis and evaluation.

CONNECTION / CONTRIBUTION
Protein binder design producing a ranked candidate panel for downstream synthesis and evaluation.

BOUNDARY
A computational candidate panel is not evidence that sequences were synthesized, bind experimentally, are safe or are suitable for clinical use. The publication does not provide biological sequences, experimental instructions or an efficacy claim.

[Product details ](https://spin-forge.com/discovery/bio)

**SpinForge Bench Benchmark product S2 S4 + **SUPPLIED ROLE
A distinct offering focused on certified Gset optimality.

CONNECTION / CONTRIBUTION
A distinct offering focused on certified Gset optimality.

BOUNDARY
The supplied description does not enumerate the proved Gset instance set or name a universal completion budget. No claim that all Gset instances are solved is made. No dependency on Discovery Core is asserted.

[Product details ](https://spin-forge.com/bench)

**MaxSAT Garmo Solvers S4 S5 + **SUPPLIED ROLE
Satisfy hard clauses while optimizing weighted soft requirements.

CONNECTION / CONTRIBUTION
Satisfy hard clauses while optimizing weighted soft requirements.

BOUNDARY
A feasible assignment and a proved optimum are different outcomes.

[Product details ](https://spin-forge.com/solvers/maxsat)

**CertCut Garmo Solvers S4 S5 + **SUPPLIED ROLE
Solve Max-Cut/Ising problems with independently checkable optimality evidence where completed.

CONNECTION / CONTRIBUTION
Solve Max-Cut/Ising problems with independently checkable optimality evidence where completed.

BOUNDARY
An objective recount alone is not a proof that no better cut exists.

[Product details ](https://spin-forge.com/solvers/certcut)

**CP Garmo Solvers S2 S4 + **SUPPLIED ROLE
Constraint programming for supported XCSP3 models and scheduling.

CONNECTION / CONTRIBUTION
Constraint programming for supported XCSP3 models and scheduling.

BOUNDARY
General XCSP parsing and deciding coverage are distinct.

[Product details ](https://spin-forge.com/solvers/cp)

**Partition Garmo Solvers S4 S5 + **SUPPLIED ROLE
Divide a supported graph or hypergraph while evaluating its partition objective.

CONNECTION / CONTRIBUTION
Divide a supported graph or hypergraph while evaluating its partition objective.

BOUNDARY
A partition score is not automatically a measured system-wide communication saving.

[Product details ](https://spin-forge.com/solvers/partition)

**VRP Garmo Solvers S4 S5 + **SUPPLIED ROLE
Plan vehicle routes under supported CVRP and VRPTW requirements.

CONNECTION / CONTRIBUTION
Plan vehicle routes under supported CVRP and VRPTW requirements.

BOUNDARY
Customer-specific routing requirements outside CVRP/VRPTW require an admitted representation.

[Product details ](https://spin-forge.com/solvers/vrp)

**SMT Garmo Solvers S4 S5 + **SUPPLIED ROLE
Check supported bit-vector and integer-arithmetic requirements.

CONNECTION / CONTRIBUTION
Check supported bit-vector and integer-arithmetic requirements.

BOUNDARY
Supported theory fragments do not imply complete SMT-LIB coverage.

[Product details ](https://spin-forge.com/solvers/smt)

**Router Garmo Solvers S1 S2 S6 + **SUPPLIED ROLE
Select compatible computational backends, race them and apply execution guards.

CONNECTION / CONTRIBUTION
Select compatible computational backends, race them and apply execution guards.

BOUNDARY
This is backend selection, not inference token routing, vehicle routing or network path construction. Its evidence is separate from UNISOLVE’s internal router.

[Product details ](https://spin-forge.com/solvers/router)

**QBF Garmo Solvers S4 S5 + **SUPPLIED ROLE
Solve quantified Boolean formulas with their quantifier order retained.

CONNECTION / CONTRIBUTION
Solve quantified Boolean formulas with their quantifier order retained.

BOUNDARY
Broader dependency/proof variants and competition parity are not implied.

[Product details ](https://spin-forge.com/solvers/qbf)

**TSP Garmo Solvers S4 S5 + **SUPPLIED ROLE
Find tours for supported traveling-salesman problems.

CONNECTION / CONTRIBUTION
Find tours for supported traveling-salesman problems.

BOUNDARY
This is separate from vehicle-routing constraints such as capacity and time windows.

[Product details ](https://spin-forge.com/solvers/tsp)

**Presolve Garmo Solvers S5 + **SUPPLIED ROLE
Preprocess supported CNF before MaxSAT execution.

CONNECTION / CONTRIBUTION
Preprocess supported CNF before MaxSAT execution.

BOUNDARY
The held-out improvement was not confirmed; the product remains off by default in the described release.

[Product details ](https://spin-forge.com/solvers/presolve)

**Conic Garmo Solvers S4 S5 + **SUPPLIED ROLE
Solve supported linear, quadratic and second-order-cone models.

CONNECTION / CONTRIBUTION
Solve supported linear, quadratic and second-order-cone models.

BOUNDARY
The product includes a labeled portfolio; native and external backend results remain distinguished.

[Product details ](https://spin-forge.com/solvers/conic)

**CertOT Garmo Solvers S4 S5 + **SUPPLIED ROLE
Solve optimal-transport and assignment problems with the appropriate checks.

CONNECTION / CONTRIBUTION
Solve optimal-transport and assignment problems with the appropriate checks.

BOUNDARY
Certified marginals and a global assignment optimum are different guarantees.

[Product details ](https://spin-forge.com/solvers/certot)

**MINLP Garmo Solvers S4 S5 + **SUPPLIED ROLE
Evaluate supported mixed-integer nonlinear models from OSiL/PIP inputs.

CONNECTION / CONTRIBUTION
Evaluate supported mixed-integer nonlinear models from OSiL/PIP inputs.

BOUNDARY
This product runs on SCIP; it is not presented as a newly invented native nonlinear algorithm.

[Product details ](https://spin-forge.com/solvers/minlp)

**CertBQP Garmo Solvers S4 S5 + **SUPPLIED ROLE
Optimize binary quadratic choices subject to linear constraints.

CONNECTION / CONTRIBUTION
Optimize binary quadratic choices subject to linear constraints.

BOUNDARY
The stated examples include k-cluster, independent set and quadratic knapsack; broader scope requires confirmation.

[Product details ](https://spin-forge.com/solvers/certbqp)

**certnum Garmo Solvers S2 S4 + **SUPPLIED ROLE
One product for certified MDP values, partition-function bounds and model counting.

CONNECTION / CONTRIBUTION
One product for certified MDP values, partition-function bounds and model counting.

BOUNDARY
The three modes are capabilities inside one product, not three additional current solver products.

[Product details ](https://spin-forge.com/solvers/certnum)

**MIP Garmo Solvers S4 S5 + **SUPPLIED ROLE
Select a mixed-integer programming path for a supported constrained model.

CONNECTION / CONTRIBUTION
Select a mixed-integer programming path for a supported constrained model.

BOUNDARY
Numerical backend completion is not automatically independent mathematical proof.

[Product details ](https://spin-forge.com/solvers/mip)

**Krylov Garmo Solvers S4 S5 + **SUPPLIED ROLE
Solve matrix-free linear systems with a recomputed true-residual certificate.

CONNECTION / CONTRIBUTION
Solve matrix-free linear systems with a recomputed true-residual certificate.

BOUNDARY
A residual is not a universal solution-error bound without the appropriate conditioning assumptions.

[Product details ](https://spin-forge.com/solvers/krylov)

**HOBO Garmo Solvers S4 S5 + **SUPPLIED ROLE
Optimize higher-order binary models with three- and four-body terms.

CONNECTION / CONTRIBUTION
Optimize higher-order binary models with three- and four-body terms.

BOUNDARY
The current release describes three- and four-body models; historical LABS wording is not a new unrestricted domain claim.

[Product details ](https://spin-forge.com/solvers/hobo)

**Toroidal Garmo Solvers S4 S5 + **SUPPLIED ROLE
Solve supported toroidal and planar spin-glass instances exactly.

CONNECTION / CONTRIBUTION
Solve supported toroidal and planar spin-glass instances exactly.

BOUNDARY
A theorem for the admitted structure is not a proof for arbitrary graphs.

[Product details ](https://spin-forge.com/solvers/toroidal)

**Batch Garmo Solvers S4 S5 + **SUPPLIED ROLE
Execute thousands of supported tiny QUBO or SAT instances in a batch.

CONNECTION / CONTRIBUTION
Execute thousands of supported tiny QUBO or SAT instances in a batch.

BOUNDARY
Batch throughput must include input preparation, execution and checking, not only one launch.

[Product details ](https://spin-forge.com/solvers/batch)

**Unroute Garmo Solvers S2 S5 + **SUPPLIED ROLE
Prove early when a supported routing or flow problem cannot be routed.

CONNECTION / CONTRIBUTION
Prove early when a supported routing or flow problem cannot be routed.

BOUNDARY
This product is an infeasibility checker, not a general route-construction engine.

[Product details ](https://spin-forge.com/solvers/unroute)

All 64 products are listed once. Source roles come from the supplied inventory and synergy analysis. Router has no assigned system connection until its input/output contract is confirmed.

ONE COMPANY. A DEFINED ENGAGEMENT.

## Buy the useful
combination.

License the products you need or commission a matched system evaluation, integration and operating handover. Existing monthly, annual and engineering prices are unchanged. No additional subscription or universal performance promise is created by a system connection.

[Define a system evaluation](https://spin-forge.com/system-synergies/evaluation) [See the purchasing options](https://spin-forge.com/pricing)

Products and upgrade lineages are not double-counted. Hosted operations, data rights, infrastructure and execution authority receive an explicit scope.