GitHub repository: ytsao/vnn_bench
Primary language: Python
Description: Benchmarking of constraint solvers locally and on HPC