A library for authoring shrinking strategies - View it on GitHub