LatexToCNF

python cli program to convert latex input to CNF (conjunctive normal form).

Installation

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

pip3 install latextocnf

Releases

Version Released Bullseye
Python 3.9
Bookworm
Python 3.11
Files
0.1.4 2024-02-14    
0.1.3 yanked 2024-02-01    
0.1.2 yanked 2024-02-01    
0.1.1 yanked 2024-01-31    

Issues with this package?

Page last updated 2025-06-27 21:04:07 UTC