clingo-lpx Stable
clingo-lpx is an extension of the clingo ASP system that adds first-class linear constraints over rational numbers, supporting both strict and non‑strict relations. Linear constraints are delegated to an embedded simplex solver, enabling tight integration of constraint reasoning and answer-set solving for efficient modeling of numerical conditions within ASP.