Metadata-Version: 2.4
Name: unicode-fol-kit
Version: 0.31.0
Summary: Renamed to unicode-logic-kit. This release installs it and forwards the old import name.
Project-URL: Homepage, https://pypi.org/project/unicode-logic-kit/
Project-URL: Documentation, https://unicode-logic-kit.readthedocs.io/
Project-URL: Repository, https://github.com/fvossel/unicode-logic-kit
Author-email: Felix Vossel <fvossel@uos.de>
License: MIT
License-File: LICENSE
Keywords: first-order-logic,logic,unicode-logic-kit
Classifier: Development Status :: 7 - Inactive
Classifier: Intended Audience :: Developers
Classifier: Intended Audience :: Science/Research
Classifier: License :: OSI Approved :: MIT License
Classifier: Programming Language :: Python :: 3
Classifier: Topic :: Scientific/Engineering
Requires-Python: >=3.10
Requires-Dist: unicode-logic-kit>=0.31.0
Provides-Extra: asp
Requires-Dist: unicode-logic-kit[asp]>=0.31.0; extra == 'asp'
Provides-Extra: chem
Requires-Dist: unicode-logic-kit[chem]>=0.31.0; extra == 'chem'
Provides-Extra: cp
Requires-Dist: unicode-logic-kit[cp]>=0.31.0; extra == 'cp'
Provides-Extra: cvc5
Requires-Dist: unicode-logic-kit[cvc5]>=0.31.0; extra == 'cvc5'
Provides-Extra: docs
Requires-Dist: unicode-logic-kit[docs]>=0.31.0; extra == 'docs'
Provides-Extra: hf
Requires-Dist: unicode-logic-kit[hf]>=0.31.0; extra == 'hf'
Provides-Extra: lint
Requires-Dist: unicode-logic-kit[lint]>=0.31.0; extra == 'lint'
Provides-Extra: mcp
Requires-Dist: unicode-logic-kit[mcp]>=0.31.0; extra == 'mcp'
Provides-Extra: owl
Requires-Dist: unicode-logic-kit[owl]>=0.31.0; extra == 'owl'
Provides-Extra: test
Requires-Dist: unicode-logic-kit[test]>=0.31.0; extra == 'test'
Description-Content-Type: text/markdown

# unicode-fol-kit is now unicode-logic-kit

The package was renamed in 0.31.0, because first-order logic is one of the
logics it handles and not the whole of it. The code, the documentation and every
later release are under the new name:

- PyPI: <https://pypi.org/project/unicode-logic-kit/>
- Source: <https://github.com/fvossel/unicode-logic-kit>
- Documentation: <https://unicode-logic-kit.readthedocs.io/>

## What to change

```bash
pip uninstall unicode-fol-kit
pip install unicode-logic-kit
```

```python
import unicode_logic_kit          # was: import unicode_fol_kit
```

Nothing else changes: the modules, the functions and the `UFK_` environment
variables keep their names.

## What this release does

`unicode-fol-kit` 0.31.0 holds no logic of its own. It installs
`unicode-logic-kit` and forwards the old import name to it, so existing code
keeps running until you have changed the import:

- `import unicode_fol_kit` and `from unicode_fol_kit.atp import ...` give the
  modules of `unicode_logic_kit` themselves, not copies, so objects from the two
  names mix freely.
- `python -m unicode_fol_kit` and `python -m unicode_fol_kit.mcp` run as before.
- Each extra is passed on: `unicode-fol-kit[mcp]` installs
  `unicode-logic-kit[mcp]`.
- The first import raises a `DeprecationWarning` that names the new import.

Do not keep `unicode-fol-kit` 0.30.0 or older installed next to
`unicode-logic-kit`: the two would be separate copies of the same code under two
names. Upgrading `unicode-fol-kit` to 0.31.0, or uninstalling it, resolves that.

No further release of `unicode-fol-kit` is planned. New versions of the kit
reach an existing installation through the dependency on `unicode-logic-kit`.
