The benchmarks in this directory were obtained from the [SMT-LIB
benchmark repository](https://smtlib.cs.uiowa.edu/benchmarks.shtml)
and are distributed under the [Creative Commons Attribution 4.0
International License] (https://creativecommons.org/licenses/by/4.0/),
unless otherwise specified in the benchmark itself (see :license info
attribute in the file).