PyPI page
Home page
Author:
Vaibhav Karve
License:
GPL-3.0-or-later
Summary:
A Python package for working with Conjunctive Normal Form (CNFs) and Boolean Satisfiability
Latest version:
0.1.7
Required dependencies:
colorama
|
loguru
|
more-itertools
|
python-sat
|
tqdm
|
typing-extensions
Downloads last day:
2
Downloads last week:
7
Downloads last month:
81