logic4py

Name	logic4py JSON
Version	0.0.6 JSON
	download
home_page	https://github.com/daviromero/logic4py
Summary	logic4py is a libray for teaching logic to computer science students.
upload_time	2023-07-24 18:49:20
maintainer
docs_url	None
author	Davi Romero de Vasconcelos
requires_python
license	MIT
keywords	propositional logic first-order logia teaching logic educational software
VCS
bugtrack_url
requirements	No requirements were recorded.
Travis-CI	No Travis.
coveralls test coverage	No coveralls.

            # 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/)
- graphviz
- ipywidgets
- pandas
- ruamel.yaml

## 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
```




            

Raw data

            {
    "_id": null,
    "home_page": "https://github.com/daviromero/logic4py",
    "name": "logic4py",
    "maintainer": "",
    "docs_url": null,
    "requires_python": "",
    "maintainer_email": "",
    "keywords": "Propositional Logic,First-Order Logia,Teaching Logic,Educational Software",
    "author": "Davi Romero de Vasconcelos",
    "author_email": "daviromero@ufc.br",
    "download_url": "https://files.pythonhosted.org/packages/59/70/1579f4f2207fae804f0e85ddf33962187e171827a0171d009b9752d4ece2/logic4py-0.0.6.tar.gz",
    "platform": null,
    "description": "# Logic4py \r\n\r\nLogic4py is a library for teaching logic\r\n\r\n## License\r\nLogic4py is available by [**MIT License**](https://github.com/daviromero/logic4py/blob/main/license.txt).\r\n\r\n## Requirements:\r\nYou must install: \r\n- [rply 0.7.8 package](https://pypi.org/project/rply/)\r\n- graphviz\r\n- ipywidgets\r\n- pandas\r\n- ruamel.yaml\r\n\r\n## Install\r\n\r\nTo install Logic4py from Github, run the following command:\r\n```bash\r\npip install git+https://github.com/daviromero/logic4py.git\r\n```\r\n\r\nTo install Logic4py from PyPi repository, run the following command:\r\n```bash\r\npip install logic4py\r\n```\r\n\r\n\r\n\r\n",
    "bugtrack_url": null,
    "license": "MIT",
    "summary": "logic4py is a libray for teaching logic to computer science students.",
    "version": "0.0.6",
    "project_urls": {
        "Homepage": "https://github.com/daviromero/logic4py"
    },
    "split_keywords": [
        "propositional logic",
        "first-order logia",
        "teaching logic",
        "educational software"
    ],
    "urls": [
        {
            "comment_text": "",
            "digests": {
                "blake2b_256": "59701579f4f2207fae804f0e85ddf33962187e171827a0171d009b9752d4ece2",
                "md5": "f07cf427c98c4e03464e3124e6c85192",
                "sha256": "d2f251417dc30298b2bb79f0881d696c0f18a000a2307935221707ff3bec8bd7"
            },
            "downloads": -1,
            "filename": "logic4py-0.0.6.tar.gz",
            "has_sig": false,
            "md5_digest": "f07cf427c98c4e03464e3124e6c85192",
            "packagetype": "sdist",
            "python_version": "source",
            "requires_python": null,
            "size": 22438,
            "upload_time": "2023-07-24T18:49:20",
            "upload_time_iso_8601": "2023-07-24T18:49:20.088230Z",
            "url": "https://files.pythonhosted.org/packages/59/70/1579f4f2207fae804f0e85ddf33962187e171827a0171d009b9752d4ece2/logic4py-0.0.6.tar.gz",
            "yanked": false,
            "yanked_reason": null
        }
    ],
    "upload_time": "2023-07-24 18:49:20",
    "github": true,
    "gitlab": false,
    "bitbucket": false,
    "codeberg": false,
    "github_user": "daviromero",
    "github_project": "logic4py",
    "travis_ci": false,
    "coveralls": false,
    "github_actions": false,
    "lcname": "logic4py"
}