This is the tool submission repo of the alpha-beta-CROWN team for VNN-COMP 2022.

This repository is for reproducing competition results only (the commit used for competition was 05dad73)

Please check out the latest version of α,β-CROWN at http://abcrown.org