Metadata-Version: 2.4
Name: logicalpy
Version: 1.0.0
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
Requires-Python: >=3.10
Requires-Dist: lark>=1.2.2
Description-Content-Type: text/markdown

# LogicalPy

[![PyPi version](https://badgen.net/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)

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 implementation of semantic notions: satisfiability, entailment...
 - The conversion to normal forms (NNF, DNF, DNF)
 - Automated theorem proving with the resolution procedure

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

## Installation

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

Note than the library needs a Python version higher than 3.10.

## Contributing

If you want to contribute to this (small) project, you can [open an issue](https://github.com/Cubix1729/logicalpy/issues)
to report a bug or request a feature, or [make a pull request](https://github.com/Cubix1729/logicalpy/pulls).

## License

This project is licensed under the MIT license.
