Metadata-Version: 2.4
Name: bppy
Version: 1.0.4
Summary: BPpy: Behavioral Programming In Python
Home-page: https://github.com/bThink-BGU/BPpy
Author: Tom Yaacov
Author-email: tomyaacov1210@gmail.com
Classifier: Programming Language :: Python :: 3
Classifier: License :: OSI Approved :: MIT License
Classifier: Operating System :: OS Independent
Requires-Python: >=3.9
Description-Content-Type: text/markdown
License-File: LICENSE
Requires-Dist: z3-solver>=4.8.5.0
Provides-Extra: gym
Requires-Dist: gymnasium>=0.28.1; extra == "gym"
Requires-Dist: stable-baselines3>=2.0.0; extra == "gym"
Provides-Extra: develop
Requires-Dist: gymnasium>=0.28.1; extra == "develop"
Requires-Dist: stable-baselines3>=2.0.0; extra == "develop"
Requires-Dist: Sphinx>=5.3.0; extra == "develop"
Requires-Dist: sphinx-rtd-theme>=1.2.1; extra == "develop"
Requires-Dist: graphviz>=0.20.1; extra == "develop"
Requires-Dist: pygame>=2.1.2; extra == "develop"
Dynamic: author
Dynamic: author-email
Dynamic: classifier
Dynamic: description
Dynamic: description-content-type
Dynamic: home-page
Dynamic: license-file
Dynamic: provides-extra
Dynamic: requires-dist
Dynamic: requires-python
Dynamic: summary

# BPpy: Behavioral Programming In Python
A Python implementation for the Behavioral Programming paradigm

## Installation
You can install ``bppy`` with pip:

```shell
pip install bppy
```

This does not include dependencies for gym integration. To install ``bppy`` with gym integration, use:

```shell
pip install bppy[gym]
```

If installation is not working, you can try upgrading pip:

```shell
pip install --upgrade pip
```

before submitting an issue.

In case you want to get started instantly and use ``bppy`` (with ``pynusmv`` and all dependencies) without installing it, you can use the [docker image](https://hub.docker.com/r/tomyaacov/bppy-docker):

```shell
docker run -it tomyaacov/bppy-docker
```


## Documentation
* [BPpy documentation](https://bppy.readthedocs.io/en/latest/)
* General introduction to Behavioral Programming can be found in [this](https://bpjs.readthedocs.io/en/develop/) BPjs tutorial and others

## Citing BPpy
To cite this repository in publications:
```
@inproceedings{yaacov_exploring_2025,
	title = {Exploring and Evaluating Interplays of BPpy with Deep Reinforcement Learning and Formal Methods},
	isbn = {978-989-758-742-9},
	doi = {10.5220/0013215200003928},
	booktitle = {Proceedings of the 20th International Conference on Evaluation of Novel Approaches to Software Engineering},
	publisher = {SciTePress},
	author = {Yaacov, Tom and Weiss, Gera and Ashrov, Adiel and Katz, Guy and Zisser, Jules},
	year = {2025},
	pages = {27--40},
}
```
