Commit 72617967 authored by Mathias Preiner's avatar Mathias Preiner
Browse files


parent 340975c4
......@@ -9,8 +9,8 @@ files as these can be very large and constructing them can overwhelm the server.
To submit new benchmarks, simply send the new benchmarks to one of the SMT-LIB
maintainers. We encourage to distribute benchmarks under the
[Creative Commons Attribution 4.0 International License]
( ), but submitters can specify
[Creative Commons Attribution 4.0 International License](,
but submitters can specify
their own licence in the benchmark itself using the ```(set-info :license
"licence string")``` command.
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment