Skip to main content

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:

What to change

pip uninstall unicode-fol-kit
pip install unicode-logic-kit
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.

Metadata

Release files for unicode-fol-kit 0.31.0

For a detailed explanation of source distributions (sdists) and built distributions (wheels), please see the package formats documentation.

Source distribution (sdist)

Source distribution for unicode-fol-kit 0.31.0
File Size Uploaded
unicode_fol_kit-0.31.0.tar.gz 5.8 kB Details

Built distribution (wheel)

Table of built distributions (wheels) for unicode-fol-kit 0.31.0
File Interpreter ABI Platform
unicode_fol_kit-0.31.0-py3-none-any.whl Python 3 none any Details

Total release size: 10.0 kB

Release files / unicode_fol_kit-0.31.0.tar.gz

Download URL unicode_fol_kit-0.31.0.tar.gz
Size 5.8 kB
Tags Source
SHA-256 checksum
How to use checksums
3db818517bec4bbb390999c0455b92b59f1a8b53d33962a79557e76c1206298c
BLAKE2b-256 checksum
How to use checksums
724b96fd0cdb7b60470f0f1b8024277d41e1690f6360fe9d1285b101d4932345
Upload date
Uploaded using Trusted Publishing?
What is trusted publishing?
No
Uploaded via twine/7.0.0 CPython/3.12.14

Release files / unicode_fol_kit-0.31.0-py3-none-any.whl

Download URL unicode_fol_kit-0.31.0-py3-none-any.whl
Size 4.2 kB
Tags Python 3
SHA-256 checksum
How to use checksums
0f94fd80ba930ad8558202914219d47ccc4f1b4bcefaaabc97a9c95410f615f1
BLAKE2b-256 checksum
How to use checksums
d2b7e29e390e814da545a1ac40e77ffd4dfbaa9cc071f0f58ae2ebf86d84968a
Upload date
Uploaded using Trusted Publishing?
What is trusted publishing?
No
Uploaded via twine/7.0.0 CPython/3.12.14

Release history Release notifications | RSS feed

This release

0.31.0 This release

2 release files

0.28.1

2 release files

0.28.0

2 release files

0.27.0

2 release files

0.26.0

2 release files

0.25.0

2 release files

0.24.0

2 release files

0.23.2

2 release files

0.23.1

2 release files

0.23.0

2 release files

0.22.0

2 release files

0.21.0

2 release files

0.20.0

2 release files

0.19.0

2 release files

0.18.0

2 release files

0.17.0

2 release files

0.15.0

2 release files

0.10.1

2 release files

0.10.0

2 release files

0.9.0

2 release files

0.8.0

2 release files

0.7.0

2 release files

0.6.0

2 release files

0.5.2

2 release files

0.5.1

2 release files

0.5.0

2 release files

0.4.0

2 release files

0.3.1

2 release files

0.3.0

2 release files

0.2.1

2 release files

0.2.0

2 release files

0.1.0

2 release files

Anthropic, PBC Visionary sponsor Bloomberg Visionary sponsor Hudson River Trading Visionary sponsor Meta Visionary sponsor NVIDIA Visionary sponsor Microsoft Sustainability sponsor Depot Continuous Integration AWS Cloud computing and Security Sponsor Datadog Monitoring Fastly CDN Google Download Analytics Sentry Error logging StatusPage Status page