Metadata-Version: 2.4
Name: sli-lib
Version: 0.1.3
Requires-Dist: mypy>=1.15 ; extra == 'dev'
Requires-Dist: pytest>=8.3 ; extra == 'dev'
Requires-Dist: pdoc>=15 ; extra == 'dev'
Provides-Extra: dev
License-File: LICENSE
Summary: Python api for the sli-lib Rust library
Home-Page: https://gitlab.com/sli-lib/SLI
License: LGPL-3.0-or-later
Requires-Python: >=3.11
Description-Content-Type: text/markdown; charset=UTF-8; variant=GFM
Project-URL: homepage, https://gitlab.com/sli-lib/SLI
Project-URL: documentation, https://sli-lib.gitlab.io/sli/python
Project-URL: repository, https://gitlab.com/sli-lib/SLI
Project-URL: download, https://pypi.org/project/sli-lib/#files

SLI is an FO(·) reasoning engine written in Rust.
The sli-lib package provides a Python API based on the Rust library, allowing for the manipulation of FO(·) and the execution of inference tasks on knowledge represented in FO(·).

- Documentation: <https://sli-lib.gitlab.io/sli/python>
- Source code: <https://gitlab.com/sli-lib/SLI>

