MathLinear programmingOn this pageLinear programmingLinksSMT Solvers, Integer Linear Programming (2019)Introduction to Linear Programming in Python (2022)clingoLP - Theory propagator for linear programming using clingo theory language and interface.