title Linear programming Linear programming Links SMT Solvers, Integer Linear Programming (2019) Introduction to Linear Programming in Python (2022) clingoLP - Theory propagator for linear programming using clingo theory language and interface.