Metadata-Version: 2.4
Name: logicalpy
Version: 1.2.1
Summary: A library providing basic functionalities for manipulating propositional logic
Project-URL: Homepage, https://github.com/Cubix1729/logicalpy
Project-URL: Documentation, https://cubix1729.github.io/logicalpy/
Author: Timothée Monin
License-Expression: MIT
License-File: LICENSE
Keywords: formal logic,logic,propositional logic
Classifier: License :: OSI Approved :: MIT License
Classifier: Programming Language :: Python :: 3
Classifier: Programming Language :: Python :: 3.9
Classifier: Programming Language :: Python :: 3.10
Classifier: Programming Language :: Python :: 3.11
Classifier: Programming Language :: Python :: 3.12
Classifier: Programming Language :: Python :: 3.13
Requires-Python: >=3.9
Requires-Dist: lark>=1.2.2
Requires-Dist: tabulate>=0.9.0
Provides-Extra: dev
Requires-Dist: black>=25.1.0; extra == 'dev'
Requires-Dist: coverage-badge>=1.1.2; extra == 'dev'
Requires-Dist: coverage>=7.8.0; extra == 'dev'
Requires-Dist: mkdocs-material>=9.6.13; extra == 'dev'
Requires-Dist: mkdocs>=1.6.1; extra == 'dev'
Description-Content-Type: text/markdown

# LogicalPy

[![PyPI version](https://img.shields.io/pypi/v/logicalpy)](https://pypi.org/project/logicalpy)
[![License](https://img.shields.io/github/license/Cubix1729/logicalpy)](https://github.com/Cubix1729/logicalpy/blob/master/LICENSE)
[![Code style: black](https://img.shields.io/badge/code%20style-black-000000.svg)](https://github.com/psf/black)
[![Python versions](https://img.shields.io/pypi/pyversions/logicalpy)](https://pypi.python.org/pypi/logicalpy)
[![Test coverage](./docs/coverage-badge.svg)](https://github.com/Cubix1729/logicalpy/tree/master/tests)

LogicalPy is a Python library providing basic functionalities for manipulating propositional logic.

## Description

The library allows to work with classical propositional logic formulae.
The main features include:

 - The construction of logical formulae either directly or from a string
 - The visualisation of truth tables
 - The implementation of semantic notions: satisfiability, entailment...
 - The conversion to normal forms (NNF, CNF, or DNF)
 - The implementation of a Hilbert-style proof system
 - Automated theorem proving with the resolution procedure

The library also supports LaTeX code generation for most of its functionalities.

For the complete documentation, see [https://cubix1729.github.io/logicalpy/](https://cubix1729.github.io/logicalpy/).

## Installation

With pip:
```
pip install logicalpy
```

Note that the library needs a Python version higher than 3.9.

## Contributing

If you want to contribute to this project, you can open an issue to report a bug or request a feature,
or make a pull request.
See [CONTRIBUTING.md](./CONTRIBUTING.md) for detailed contribution guidelines.

## License

This project is licensed under the MIT license.
