Where SpinForge is used.
Eleven industries, 55 problem types SpinForge + Atlas can model, and 29 ready applications: 13 with a validated demo and 16 tested prototypes. Each page links the catalog products that already have measured results for that industry.

Finance & markets
Portfolio construction, pricing, risk and capital decisions with hard constraints.

Logistics, transport & supply chain
Routing, dispatch and fleet decisions from a few vehicles to very large networks.

Manufacturing & operations
Plant, layout, scheduling and allocation decisions where every constraint has to hold.

Energy & climate
Power-system scheduling and dispatch, sensing and emergency-resource decisions.

Telecom & networks
Radio, coding and network-design decisions for wireless and wired networks.

Life sciences & biotech
Sequence, structure and combination design for drugs, proteins and nucleic acids.

Materials, chemistry & physics
Structure prediction and candidate search for new materials, and ground states of physical models.

Chips, compilers & computing
Placement, compilation and resource decisions for chips and for classical and quantum computers.

AI & machine learning
Model design, training-data and serving decisions for AI teams.

Security, cryptography & verification
Hardness estimates and verification for cryptography and concurrent software.

Media, advertising & games
Placement, recommendation, experiment and game decisions.
How to read these pages
- Validated demo
- One real instance solved end to end through the application and checked against the exact answer or an explicit legality check (GPU campaign box, June 2026). Instances are small; a demo is not a benchmark.
- Tested prototype
- Working software with a passing test suite. No benchmark result is recorded yet.
- Problem type
- A problem SpinForge + Atlas can turn into a model it solves. Ask us for results on your instances.
- Products
- Catalog products with measured results on their own pages.