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 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 2025-06-27 21:03:37 UTC