latextocnf
PyPI page
Home page
Author:
azgmohammadd
License:
MIT
Summary:
python cli program to convert latex input to CNF (conjunctive normal form).
Latest version:
0.1.4
Required dependencies:
pyparsing
Downloads last day:
4
Downloads last week:
21
Downloads last month:
142