Chia-Hsuan Lu, Tony Tan, Michael Benedikt: Artifact for "Robustness Verification of Graph Neural Networks Via Lightweight Satisfiability Testing". Zenodo 2025