AI TrustMark

Optimisation companies, products & suppliers

Mathematical solvers and optimisation products (MIP, LP, heuristics) as the buying job. Jobs: scheduling solvers; resource allocation; constraint models.

What is Optimisation?

Mathematical solvers and optimisation products (MIP, LP, heuristics) as the buying job. Jobs: scheduling solvers; resource allocation; constraint models.

What problems does it solve?

Operations still cannot encode constraints the business actually has.

Typical business use cases

  • Scheduling solvers
  • Resource allocation
  • Constraint models

Important capabilities

  • Solver class
  • Constraint language
  • Runtime

What buyers should evaluate

  • Constraint completeness
  • Solve time
  • Who accepts a solution

Risks and governance considerations

A solver that silently drops a safety constraint.

Procurement checklist

  • Constraints listed
  • Accept rights
  • Runtime

Relevant AI Trustmark assurance

AI Trustmark independent findings appear only when an assessment or certificate exists. Category membership does not imply verification.

Methodology · How verification works

Products and providers

Open a product profile for its catalogue details, or use the provider link for the company profile. Claimed listings appear first, then by name. Payment never changes the order.

  • AMPL

    By AMPL

    AMPL is an algebraic modelling language and system from AMPL Optimization for building and solving large-scale optimisation problems. Analysts write models in a notation close to m

  • Artelys Knitro

    By Artelys

    Artelys Knitro is a nonlinear optimisation solver from Artelys. It offers four NLP algorithms, using interior-point and active-set methods, and three MINLP algorithms for mixed-int

  • FICO Xpress Optimization

    By FICO

    FICO Xpress Optimization is FICO's software product, from Fair Isaac Corporation. Published at fico.com. Directory filing: Optimisation. Vendor legal name on this product record: F

  • Agent Platform Vizier

    By Google

    Agent Platform Vizier (formerly Vertex AI Vizier) is Google Cloud's black-box optimisation service, part of Gemini Enterprise Agent Platform. It tunes the hyperparameters of machin

  • Gurobi Optimizer

    By Gurobi

    See how Gurobi turns your toughest business decisions into a single, optimal action plan — built by PhD mathematicians for the world. Gurobi Optimizer is Gurobi's software product,

  • Hexaly Optimizer

    By Hexaly

    Enriched MIP with combinatorial modeling, nonlinear optimization, simulation/ML integration, and automatic decomposition. Hexaly Optimizer is Hexaly's software product, from Hexaly

  • IBM ILOG CPLEX Optimizer

    By IBM

    IBM ILOG CPLEX Optimizer is a mathematical programming solver for linear, mixed-integer and quadratic optimisation problems, used for planning, scheduling and resource allocation d

  • Newton operational improvement + AI

    By Newton

    Newton is a UK operational improvement consultancy working alongside client teams to deliver measurable performance change; increasingly applies data/AI in operations. Public marke

  • NVIDIA cuOpt

    By NVIDIA

    NVIDIA cuOpt is an open-source, GPU-accelerated decision optimisation engine for large problems with millions of variables and constraints. It supports linear programming, vehicle

  • Peak

    By Peak

    Peak is a decision-intelligence platform that helps commercial teams forecast demand, plan inventory and run related operational decisions. Peak markets industry applications on a

  • PROS Real-Time Dynamic Pricing

    By PROS

    PROS is a dedicated travel technology company helping airlines outperform with AI-driven retailing and offer management that delivers customer-centric experiences and maximizes rev

  • SAS Optimization

    By SAS

    SAS Optimization is SAS's software product, from SAS Institute Inc. Published at sas.com/en_us/software/optimization.html. Directory filing: Optimisation. Vendor legal name on this

  • Timefold Solver

    By Timefold

    Automate workforce scheduling, vehicle routing and task assignment with Timefold's AI optimization platform. Improve efficiency, reduce costs and scale faster. Timefold Solver

Products

Claimed products appear first. Ranking packs and payment do not change this list.

Also used in this category

These products have a different primary category so they do not compete for the same ranking queries. They are listed here because buyers still encounter them in this job.

Related categories

Relevant procurement and assurance guides

Frequently asked questions

What is Optimisation?

Mathematical solvers and optimisation products (MIP, LP, heuristics) as the buying job. Jobs: scheduling solvers; resource allocation; constraint models.

What should not be listed as Optimisation?

Products whose buyer job is decision intelligence, simulation, or campaign optimisation of ads. Those belong on their own category page so search queries are not split.

Has AI Trustmark independently assessed every Optimisation supplier?

No. A category listing is descriptive. Independent assessment is shown only on company or product pages that carry Trustmark evidence.

What model or provider changes should a buyer insist on being told about?

Material change usually includes a new model family, new region, new subprocessor, new write-capable tool, or a change that affects logging, privacy or human oversight. Those changes should trigger evidence refresh rather than a silent release.

How should buyers verify where AI customer data is processed?

Ask for the named processing locations, cloud regions and any subprocessors that see prompts, files or outputs. A directory listing is not evidence of residency. Independent assessment records the locations that were in scope on the assessment date.

Does a TrustMark on one product cover the rest of the company?

No. Independent assessment is scoped to the named organisation and, where relevant, the named product. Category pages list suppliers as a topic label. They do not imply that every listed company has been assessed.

What incident-handling evidence is useful for AI suppliers?

Buyers should see how AI-specific failures are detected, contained and notified — including unsafe outputs, data leakage and unauthorised agent actions. An incident policy that never mentions models, prompts or tools is incomplete for this class of product.

What security testing evidence should buyers request for an AI product?

Ask what was tested, against which version, whether prompt-injection, data-exfiltration and tenant isolation were in scope, and where failed prompts were stored. A generic ISO certificate or a vendor scanner screenshot is not by itself an AI TrustMark assessment.