Motivated by the increasing use of external instruments to identify structural vector autoregressions SVARs), we develop algorithms for exact finite sample inference in this class of time series models, commonly known as proxy SVARs. Our algorithms make independent draws from the...