Supported Solver Backends

RelationalAI (RAI) supports multiple solver backends for prescriptive reasoning.

Gurobi Supports mixed-integer linear and quadratic programs, nonlinear programs, and more.

HiGHS Supports mixed-integer linear and quadratic programs.

Ipopt Supports continuous nonlinear optimization problems.

MiniZinc Supports constraint programming, discrete optimization problems, and more.