name: sat-toolkit
description: Tool for manipulating CNF formulas
license_spdx: MIT
version: 0.3.5
spec_version: 1.0
home_url: https://github.com/fanosta/sat_toolkit
news_url: https://libraries.io/pypi/sat-toolkit/versions.atom
date: 2024-03-15
about_resource: NONE
libraries_io_url: https://libraries.io/pypi/sat-toolkit?number=0.3.5
vcs_tool: git
vcs_repository: https://github.com/fanosta/sat_toolkit
vcs_branch: main
