name: dreal
description: SMT Solver for Nonlinear Theories of Reals
license_spdx: Apache-2.0
version: 4.21.6.1
spec_version: 1.0
home_url: https://github.com/dreal/dreal4
news_url: https://libraries.io/pypi/dreal/versions.atom
date: 2021-06-03
about_resource: NONE
libraries_io_url: https://libraries.io/pypi/dreal?number=4.21.6.1
vcs_tool: git
vcs_repository: https://github.com/dreal/dreal4
vcs_branch: master
