Metadata-Version: 2.4
Name: bbqsearch
Version: 0.1.0
Summary: General configurable queue-based search algorithm for teaching AI.
Author-email: Brandon Bennett <B.Bennett@leeds.ac.uk>
License: MIT
Keywords: search,teaching
Requires-Python: >=3.8
Description-Content-Type: text/markdown

# bbqsearch

`bbqsearch` is a simple, configurable, queue-based search algorithm intended for AI teaching.

**Status:** Experimental research and teaching tool.

The package is designed primarily for use in interactive environments such as a Jupyter notebook 
or in Google Colab, providing a simple interface for running Prover9 from Python
code and capturing the resulting proofs and diagnostic output.

## Installation

```bash
pip install bbqsearch
```
