Watch Video

A new algorithm for linear and integer feasibility in Horn constraints