Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
SMT-LIB-benchmarks
QF_DT
Commits
a2d1d94a
Commit
a2d1d94a
authored
Feb 18, 2021
by
Mathias Preiner
Browse files
Update README.md.
parent
b46af7e2
Changes
1
Hide whitespace changes
Inline
Side-by-side
README.md
View file @
a2d1d94a
**Please**
**do**
**not**
use the download button on the top right; use this
link instead:
[
http://smt-lib.loria.fr/zip/QF_DT.zip
](
http://smt-lib.loria.fr/zip/QF_DT.zip
)
This is a repository of SMT-LIB benchmarks.
See
[
http://smtlib.org
](
http://smtlib.org
)
for more information about the
SMT-LIB initiative.
...
...
Mathias Preiner
@mpreiner
mentioned in commit
6cda0234
·
May 26, 2021
mentioned in commit
6cda0234
mentioned in commit 6cda02347ea2828eb9de86d47419ec24e6206c7a
Toggle commit list
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment