Metadata-Version: 2.1
Name: satqubolib
Version: 0.0.0.1
Summary: Python package that provides implementations for QUBO models related to SAT solving.
Author-email: Sebastian Zielinski <Sebastian.Zielinski@ifi.lmu.de>
Project-URL: Homepage, https://github.com/ZielinskiSebastian/satqubolib
Classifier: Programming Language :: Python :: 3
Classifier: License :: OSI Approved :: MIT License
Classifier: Operating System :: OS Independent
Requires-Python: >=3.7
Description-Content-Type: text/markdown

Reserved for upload after paper review
