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

Releases

Version Released Buster
Python 3.7
Bullseye
Python 3.9
Bookworm
Python 3.11
Files
0.1.7 2022-09-25      
0.1.6 2022-09-25      
0.1.5 2022-09-24      
0.1.4 2022-09-24      
0.1.3 2022-09-24      
0.1.2 2022-09-11      
0.1.1 2022-09-11      
0.1.0 2022-09-11      

Issues with this package?

Page last updated 2023-10-28 05:29:32 UTC