Skip to content

GitLab

Why GitLab
Pricing
Contact Sales
Explore

Sign in
Get free trial

SoSy-Lab
Benchmarking
Task-Definition Format

T

Task-Definition Format

Project information

This project defines a format that can be used to specify benchmark tasks, such as used for benchmarking verifiers, testers, and solvers.

7 Commits
1 Branch
2 Tags

README

Created on

September 25, 2020

Copy SSH clone URLgit@gitlab.com:sosy-lab/benchmarking/task-definition-format.git
Copy HTTPS clone URLhttps://gitlab.com/sosy-lab/benchmarking/task-definition-format.git