Metadata-Version: 2.1
Name: logic4py
Version: 0.0.3
Summary: logic4py is a libray for teaching logic to computer science students.
Home-page: https://github.com/daviromero/logic4py
Author: Davi Romero de Vasconcelos
Author-email: daviromero@ufc.br
License: MIT
Keywords: Propositional Logic,First-Order Logia,Teaching Logic,Educational Software
Platform: UNKNOWN
Description-Content-Type: text/markdown
License-File: LICENSE

# Logic4py 

Logic4py is a library for teaching logic

## License
Logic4py is available by [**MIT License**](https://github.com/daviromero/logic4py/blob/main/license.txt).

## Requirements:
- You must install [rply 0.7.8 package](https://pypi.org/project/rply/)

## Install

To install Logic4py from Github, run the following command:
```bash
pip install git+https://github.com/daviromero/logic4py.git
```

To install Logic4py from PyPi repository, run the following command:
```bash
pip install logic4py
```



