# Supported Solvers

`ruleopt` currently ships with solver backends for `HiGHS`, `Gurobi`, and `CPLEX`.

## HiGHS

`HiGHSSolver` is the default open-source solver in `ruleopt`.

`GurobiSolver` uses the `gurobipy` interface and requires a valid Gurobi license.

`CPLEXSolver` uses the `docplex` interface and requires a valid CPLEX installation
and license.