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:
0
Downloads last week:
25
Downloads last month:
40