[SMT-COMP] New benchmark library server

[Cesare Tinelli]

[reposted from smt-lib at googlegroups.com]

Hi all,

We are pleased to officially announce a new service for the SMT-LIB
community. The SMT-LIB benchmark library is now available for download from
the following GitLab server:

https://clc-gitlab.cs.uiowa.edu:2443/explore/groups

The library is broken down in two main groups, respectively for incremental
and non-incremental benchmarks. Within each group, there is a git
repository for each supported logic. The latest official release of each
repository can be found in the latest commit of the master branch.

The GitLab service, which does not require any sign-in, is meant to
facilitate the downloading of benchmarks by logic and the incremental
updating of benchmark repositories via git. Note, however, that the latest
official release of the entire library will continue to be available on
StarExec
<https://www.starexec.org/starexec/secure/explore/spaces.jsp?id=239> as
well.


The SMT-LIB coordinators