GitHub repository: msakai/bnn-verification
Primary language: TeX
Description: BNN verification dataset for Max-SAT Evaluation 2020 and MIPLIB 2024