Library for property-based testing
