Magma supports integer linear programming, mixed-integer programming, and convex hull computations, underpinning automated proof search, lattice point enumeration, and combinatorial optimisation.