GitHub repository: sthiele/clingoLP
Description: Theory propagator for linear programming using clingo theory language and interface.