Artifact for the paper AUTOMAP: Inferring Rank-Polymorphic Function Applications with Integer Linear Programming - View it on GitHub