GitHub repository: potassco/ASPmLP
Primary language: Python
Created: 2016-11-07T10:59:00Z
Description: Theory propagator for linear programming using clingo theory language and interface.