My advice would be to stretch it as it will feel loads better when you do. Plus it'll make your recovery a lot quicker. Getting mild pain meds would be good for the pain, and warming up your muscles before working out is always good for you. Don't strain the muscle too much though, as it could get worse.