GitHub repository: m-fleury/benchmark-submission
Primary language: SMT
Description: Repository for the submission of SMT-LIB benchmarks for the 2023 release.