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.

12 Commits
1 Branch
3 Tags

README

Created on

September 25, 2020

Loading