Ludwig, B. lp_nn_robustness_verification (Version 0.8.0) [Computer software]. https://github.com/BjoernLudwigPTB/lp_nn_robustness_verification