name: CoVeriTeam
description: CoVeriTeam: On-Demand Composition of Cooperative Verification Systems
license_spdx: Apache-2.0
version: 0.9
spec_version: 1.0
home_url: https://gitlab.com/sosy-lab/software/coveriteam
news_url: https://libraries.io/pypi/CoVeriTeam/versions.atom
date: 2022-01-26
about_resource: NONE
libraries_io_url: https://libraries.io/pypi/CoVeriTeam?number=0.9
