GitHub repository: potassco/benchmark-tool
Primary language: Answer Set Programming
Description: 🏎️ tool for benchmarking solvers