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