In this note, we give a brief introduction to VeRe for its artifact evaluation. VeRe is a verification-guided neural network repair framework. The main function of VeRe is to symbolically calculate the repair significance of neurons based on linear relaxation and furthermore optimize the parameters of problematic neurons to repair erroneous behaviors. This note is to help users quickly understand the basic information of VeRe (including the operating environment required) and reproduce our previous results. Our artifact is available at Figshare and the docker image can also be obtained in Docker Hub.