name: yowasp-boolector
description: boolector Satisfiability Modulo Theories (SMT) solver
license_spdx: ISC
version: 3.2.3.4.post18.dev0
spec_version: 1.0
home_url: https://yowasp.org/
news_url: https://libraries.io/pypi/yowasp-boolector/versions.atom
date: 2024-01-20
about_resource: NONE
libraries_io_url: https://libraries.io/pypi/yowasp-boolector?number=3.2.3.4.post18.dev0
vcs_tool: git
vcs_repository: https://github.com/YoWASP/boolector
vcs_branch: develop
