Version 1.0.0

Code and materials associated with the paper: Learning to Split: A Reinforcement-Learning–Guided Splitting Heuristic for Neural Network Verification