Closed anicola closed 2 years ago
This PR adds the updated scripts to run the minimizer. Just tagging @Zhiyuan-G and @kokron.
This PR adds the updated scripts to run the minimizer. Just tagging @Zhiyuan-G and @kokron.