python cli program to convert latex input to CNF (conjunctive normal form).
Project description
██╗ █████╗ ████████╗███████╗██╗ ██╗████████╗ ██████╗ ██████╗███╗ ██╗███████╗ ██║ ██╔══██╗╚══██╔══╝██╔════╝╚██╗██╔╝╚══██╔══╝██╔═══██╗██╔════╝████╗ ██║██╔════╝ ██║ ███████║ ██║ █████╗ ╚███╔╝ ██║ ██║ ██║██║ ██╔██╗ ██║█████╗ ██║ ██╔══██║ ██║ ██╔══╝ ██╔██╗ ██║ ██║ ██║██║ ██║╚██╗██║██╔══╝ ███████╗██║ ██║ ██║ ███████╗██╔╝ ██╗ ██║ ╚██████╔╝╚██████╗██║ ╚████║██║ ╚══════╝╚═╝ ╚═╝ ╚═╝ ╚══════╝╚═╝ ╚═╝ ╚═╝ ╚═════╝ ╚═════╝╚═╝ ╚═══╝╚═╝
python cli to convert latex input to CNF(Conjunctive Normal Form).
Installation
pip install this repo.
pip3 install LatexToCNF
Usage example
To get help with commandline arguments
LatexToCNF --help
Using Command-line Arguments
LatexToCNF -f "/path/to/folder/myinput.tex"
(or)
LatexToCNF -f "/path/to/folder/myinput.txt"
(or)
LatexToCNf --filepath "/path/to/folder/myinput.tex"
(or)
LatexToCNF --filepath "/path/to/folder/myinput.txt"
Sample input file
myinput.tex
\neg \neg p
\neg p \wedge q \rightarrow p \wedge (r \rightarrow q)
r \rightarrow (s \rightarrow (t \wedge s \rightarrow r))
myinput.text
\neg \neg p
\neg p \wedge q \rightarrow p \wedge (r \rightarrow q)
r \rightarrow (s \rightarrow (t \wedge s \rightarrow r))
output
line-1: p
line-2: (((p \vee (\neg q)) \vee p) \wedge ((p \vee (\neg q)) \vee ((\neg r) \vee q)))
line-3: ((\neg r) \vee ((\neg s) \vee (((\neg t) \vee (\neg s)) \vee r)))
Meta
Azgmohammadd – azgmohammadd@gmail.com
Distributed under the MIT license. See LICENSE
for more information.
https://github.com/azgmohammadd
Contributing
- Fork it (https://github.com/azgmohammadd/azgmohammadd/fork)
- Create your feature branch (
git checkout -b feature/fooBar
) - Commit your changes (
git commit -am 'Add some fooBar'
) - Push to the branch (
git push origin feature/fooBar
) - Create a new Pull Request
Project details
Release history Release notifications | RSS feed
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
LatexToCNF-0.1.4.tar.gz
(6.3 kB
view hashes)
Built Distribution
Close
Hashes for LatexToCNF-0.1.4-py3-none-any.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 46dc4072e00afb4484dc4a298c45bf1f8b895636de232a9b254664cb32b36e20 |
|
MD5 | 5c51de423f5eeb0dbc74eeb296f5899f |
|
BLAKE2b-256 | b318f2bed3fe304d6cf139570ccac815055e2a61983089d7c4a5f851e8bccd28 |