Iclp

Our paper on using Answer Set Programming for invariant inference (with Ziyi Yang and George Pîrlea) will appear at ICLP’25.