BNN verification dataset for Max-SAT Evaluation 2020 and MIPLIB 2024
Primary LanguageTeXMIT LicenseMIT