name: cvc4-solver
description: an efficient SMT solver library
license_spdx: xpp
version: 1.6
spec_version: 1.0
home_url: http://cvc4.cs.stanford.edu
news_url: https://libraries.io/pypi/cvc4-solver/versions.atom
date: 2019-01-27
about_resource: NONE
libraries_io_url: https://libraries.io/pypi/cvc4-solver?number=1.6
