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

These details have not been verified by PyPI

View statistics for this project via Libraries.io, or by using our public dataset on Google BigQuery

Reason this release was yanked:

There was a bug in CNF algorithm.

Project description

CNFBuilderFromLatex

A repository that checks well-form formula (WFF) and create conjective normal form (CFF) from latex input.

These details have not been verified by PyPI

View statistics for this project via Libraries.io, or by using our public dataset on Google BigQuery

0.1.4

Feb 14, 2024

0.1.3 yanked

Feb 1, 2024

0.1.2 yanked

Feb 1, 2024

Reason this release was yanked:

There was a bug in CNF algorithm and bad output format.

This version

0.1.1 yanked

Jan 31, 2024

Reason this release was yanked:

There was a bug in CNF algorithm.

Download the file for your platform. If you're not sure which to choose, learn more about installing packages.

Uploaded Jan 31, 2024 Source

Uploaded Jan 31, 2024 Python 3

Hashes for LatexToCNF-0.1.1.tar.gz
Algorithm	Hash digest
SHA256	`be84cd3f7dd7c12b1fbf36b56cf65e2cd3d4bd231a7d58bb90d1a4d418ad461b`
MD5	`837d1c9ea6077488f1fc4501eb620b68`
BLAKE2b-256	`055484ab3c7fb8cac718407471f771170c9722fb15541004bbf2b508984f4d83`

Hashes for LatexToCNF-0.1.1-py3-none-any.whl
Algorithm	Hash digest
SHA256	`1579fe684077c4fc95025fbf7640890a3f57346e840769d85d43b67fbf0e55e0`
MD5	`04e3ef6672afc148e003baa4963ff257`
BLAKE2b-256	`61ff4ffc53efadf6ab86ee4e5e410a090f94659c56dd55cf0f62d27c4b2095c7`