name: vega-solver
description: All sat style yet another theorem solver
license_spdx: MIT
version: 0.1.3
spec_version: 1.0
home_url: https://github.com/K-atc/vega-solver
news_url: https://libraries.io/pypi/vega-solver/versions.atom
date: 2020-03-22
about_resource: NONE
libraries_io_url: https://libraries.io/pypi/vega-solver?number=0.1.3
vcs_tool: git
vcs_repository: https://github.com/K-atc/vega-solver
vcs_branch: master
