piwheels

normal-form

A Python package for working with Conjunctive Normal Form (CNFs) and Boolean Satisfiability

Installation

In a virtualenv (see these instructions if you need to create one):

pip3 install normal-form

Dependencies

• typing-extensions
• loguru
• colorama
• tqdm
• python-sat
• more-itertools

Releases

Version	Released	Bookworm Python 3.11	Trixie Python 3.13	Files
0.1.7	2022-09-25
normal_form-0.1.7-py3-none-any.whl (33 KB)
0.1.6	2022-09-25
normal_form-0.1.6-py3-none-any.whl (33 KB)
0.1.5	2022-09-24
normal_form-0.1.5-py3-none-any.whl (33 KB)
0.1.4	2022-09-24
normal_form-0.1.4-py3-none-any.whl (33 KB)
0.1.3	2022-09-24
normal_form-0.1.3-py3-none-any.whl (33 KB)
0.1.2	2022-09-11
normal_form-0.1.2-py3-none-any.whl (26 KB)
0.1.1	2022-09-11
normal_form-0.1.1-py3-none-any.whl (26 KB)
0.1.0	2022-09-11
normal_form-0.1.0-py3-none-any.whl (24 KB)

Issues with this package?

• Search issues for this package
• Package or version missing? Open a new issue
• Something else? Open a new issue