Metadata-Version: 2.1
Name: sat-toolkit
Version: 0.1
Summary: Tool for manipulating CNF formulas
Home-page: https://github.com/fanosta/sat_toolkit
Author: Marcel Nageler
Author-email: marcel.nageler@iaik.tugraz.at
License: UNKNOWN
Platform: UNKNOWN
Classifier: Programming Language :: Python :: 3
Classifier: License :: OSI Approved :: MIT License
Classifier: Operating System :: POSIX :: Linux
Description-Content-Type: text/markdown
License-File: LICENSE

# SAT-toolkit
A tool for efficiently handling CNF and DNF formulas in Python


