Optimization
Magma supports integer linear programming, mixed-integer programming, and convex hull computations, underpinning automated proof search, lattice point enumeration, and combinatorial optimisation.
Type ? for help. Type <Ctrl>-D to quit.
Magma supports integer linear programming, mixed-integer programming, and convex hull computations, underpinning automated proof search, lattice point enumeration, and combinatorial optimisation.