name: satispy
description: An interface to SAT solver tools (like minisat)
license_spdx: BSD-3-Clause
version: 1.0a2
spec_version: 1.0
home_url: https://github.com/netom/satispy/
news_url: https://libraries.io/pypi/satispy/versions.atom
date: 2021-12-15
about_resource: NONE
libraries_io_url: https://libraries.io/pypi/satispy?number=1.0a2
vcs_tool: git
vcs_repository: https://github.com/netom/satispy
vcs_branch: master
