make AbCrown executable for CNNs#94

Aaron99B wants to merge 1 commit intoADA-research:mainADA-research/auto-verify:mainfrom

Aaron99B:alpha-beta-crown-cnn-updateAaron99B/auto-verify:alpha-beta-crown-cnn-updateCopy head branch name to clipboard