NeuralNetworkVerification / Marabou

Other
239 stars 86 forks source link

C++11 -> C++17 #770

Closed wu-haoze closed 3 months ago

wu-haoze commented 4 months ago

Well that was easy 🤞 I'll try rebasing my Pytorch branch on this.

Sounds great! I'll wait until @idan0610 has tried this branch before merging it.