We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 1c64280 commit e7c1bdcCopy full SHA for e7c1bdc
README.md
@@ -2,7 +2,7 @@
2
3
[](https://zenodo.org/doi/10.5281/zenodo.10213943)
4
5
-GBD Benchmark Database (GBD) is about bridging the gap between research on SAT algorithms and data science.
+GBD Benchmark Database (GBD) contributes data to your solver evaluations.
6
7
## GBD has three interfaces
8
0 commit comments