Umbralla package bundling imandrax-api-models and iml-query. Also provides miscellaneous utilities (goal state formatting, rec knowledge base).

Project description

ImandraX Tools

Umbralla package bundling imandrax-api-models and iml-query. Also provides miscellaneous utilities (goal state formatting, rec knowledge base).

Project details

Release history Release notifications | RSS feed

20.3.1

Jul 16, 2026

20.3.0

Jul 13, 2026

20.2.1

Jun 29, 2026

20.2.0

Jun 29, 2026

20.2.0rc2 pre-release

Jun 25, 2026

20.1.0

Jun 22, 2026

This version

20.0.0

Jun 19, 2026

19.0.3

Apr 30, 2026

19.0.2

Apr 24, 2026

19.0.1

Apr 24, 2026

19.0.0

Apr 23, 2026

0.2.0

Apr 1, 2026

0.1.0

Nov 17, 2025

Download files

Download the file for your platform. If you're not sure which to choose, learn more about installing packages.

Source Distribution

imandrax_tools-20.0.0.tar.gz (129.0 kB view details)

Uploaded Jun 19, 2026 Source

Built Distributions

If you're not sure about the file name format, learn more about wheel file names.

The dropdown lists show the available interpreters, ABIs, and platforms. Enable javascript to be able to filter the list of wheel files.

imandrax_tools-20.0.0-cp312-abi3-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (717.7 kB view details)

Uploaded Jun 19, 2026 CPython 3.12+manylinux: glibc 2.17+ x86-64

imandrax_tools-20.0.0-cp312-abi3-manylinux_2_17_aarch64.manylinux2014_aarch64.whl (677.5 kB view details)

Uploaded Jun 19, 2026 CPython 3.12+manylinux: glibc 2.17+ ARM64

imandrax_tools-20.0.0-cp312-abi3-macosx_11_0_arm64.whl (567.6 kB view details)

Uploaded Jun 19, 2026 CPython 3.12+macOS 11.0+ ARM64

File details

Details for the file imandrax_tools-20.0.0.tar.gz.

File metadata

Download URL: imandrax_tools-20.0.0.tar.gz
Upload date: Jun 19, 2026
Size: 129.0 kB
Tags: Source
Uploaded using Trusted Publishing? Yes
Uploaded via: twine/6.1.0 CPython/3.13.12

File hashes

Hashes for imandrax_tools-20.0.0.tar.gz
Algorithm	Hash digest
SHA256	`42b1001759749b10c8ccd4229dcef4b9ecef21cd43abe372d4f010024e192417`
MD5	`939734b3f190c085f96a5b9c30eb923c`
BLAKE2b-256	`cb577dedc49b43d638b462fed60dde83bba48d2ed51791295f4f26d5d2e352b9`

See more details on using hashes here.

Provenance

The following attestation bundles were made for imandrax_tools-20.0.0.tar.gz:

Publisher: release-tools.yml on imandra-ai/imandrax-tools

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

Statement:
- Statement type: https://in-toto.io/Statement/v1
- Predicate type: https://docs.pypi.org/attestations/publish/v1
- Subject name: imandrax_tools-20.0.0.tar.gz
- Subject digest: 42b1001759749b10c8ccd4229dcef4b9ecef21cd43abe372d4f010024e192417
- Sigstore transparency entry: 1871985787
- Sigstore integration time: Jun 19, 2026
Source repository:
- Permalink: imandra-ai/imandrax-tools@f60c4dfb78aa058b00db128572eee0157bc5805a
- Branch / Tag: refs/tags/imandrax-tools==20.0.0
- Owner: https://github.com/imandra-ai
- Access: public
Publication detail:
- Token Issuer: https://token.actions.githubusercontent.com
- Runner Environment: github-hosted
- Publication workflow: release-tools.yml@f60c4dfb78aa058b00db128572eee0157bc5805a
- Trigger Event: push

File details

Details for the file imandrax_tools-20.0.0-cp312-abi3-manylinux_2_17_x86_64.manylinux2014_x86_64.whl.

File metadata

Download URL: imandrax_tools-20.0.0-cp312-abi3-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Upload date: Jun 19, 2026
Size: 717.7 kB
Tags: CPython 3.12+, manylinux: glibc 2.17+ x86-64
Uploaded using Trusted Publishing? Yes
Uploaded via: twine/6.1.0 CPython/3.13.12

File hashes

Hashes for imandrax_tools-20.0.0-cp312-abi3-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm	Hash digest
SHA256	`72bd62bcc90062bdab60c857589f95e3e0d948a0dcc8f6bbf1f33f20d3eff7cf`
MD5	`163f4e19c5099f76fc83d8f1f701a217`
BLAKE2b-256	`b9ba8d719117858c4cd044400bd14b39e0195446768ea1b56b7579773fda10d5`

See more details on using hashes here.

Provenance

The following attestation bundles were made for imandrax_tools-20.0.0-cp312-abi3-manylinux_2_17_x86_64.manylinux2014_x86_64.whl:

Publisher: release-tools.yml on imandra-ai/imandrax-tools

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

Statement:
- Statement type: https://in-toto.io/Statement/v1
- Predicate type: https://docs.pypi.org/attestations/publish/v1
- Subject name: imandrax_tools-20.0.0-cp312-abi3-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
- Subject digest: 72bd62bcc90062bdab60c857589f95e3e0d948a0dcc8f6bbf1f33f20d3eff7cf
- Sigstore transparency entry: 1871986016
- Sigstore integration time: Jun 19, 2026
Source repository:
- Permalink: imandra-ai/imandrax-tools@f60c4dfb78aa058b00db128572eee0157bc5805a
- Branch / Tag: refs/tags/imandrax-tools==20.0.0
- Owner: https://github.com/imandra-ai
- Access: public
Publication detail:
- Token Issuer: https://token.actions.githubusercontent.com
- Runner Environment: github-hosted
- Publication workflow: release-tools.yml@f60c4dfb78aa058b00db128572eee0157bc5805a
- Trigger Event: push

File details

Details for the file imandrax_tools-20.0.0-cp312-abi3-manylinux_2_17_aarch64.manylinux2014_aarch64.whl.

File metadata

Download URL: imandrax_tools-20.0.0-cp312-abi3-manylinux_2_17_aarch64.manylinux2014_aarch64.whl
Upload date: Jun 19, 2026
Size: 677.5 kB
Tags: CPython 3.12+, manylinux: glibc 2.17+ ARM64
Uploaded using Trusted Publishing? Yes
Uploaded via: twine/6.1.0 CPython/3.13.12

File hashes

Hashes for imandrax_tools-20.0.0-cp312-abi3-manylinux_2_17_aarch64.manylinux2014_aarch64.whl
Algorithm	Hash digest
SHA256	`1e56971715f3f14dc32c30410dd4448fc335887f6822e7374c3cc56ed8ea56d4`
MD5	`823f8d4ed576b0357fcd35d565106778`
BLAKE2b-256	`36803c782c1eae5d792b1a89fe048b0abd573e8a99eafa64284890ec983ed6fd`

See more details on using hashes here.

Provenance

The following attestation bundles were made for imandrax_tools-20.0.0-cp312-abi3-manylinux_2_17_aarch64.manylinux2014_aarch64.whl:

Publisher: release-tools.yml on imandra-ai/imandrax-tools

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

Statement:
- Statement type: https://in-toto.io/Statement/v1
- Predicate type: https://docs.pypi.org/attestations/publish/v1
- Subject name: imandrax_tools-20.0.0-cp312-abi3-manylinux_2_17_aarch64.manylinux2014_aarch64.whl
- Subject digest: 1e56971715f3f14dc32c30410dd4448fc335887f6822e7374c3cc56ed8ea56d4
- Sigstore transparency entry: 1871986170
- Sigstore integration time: Jun 19, 2026
Source repository:
- Permalink: imandra-ai/imandrax-tools@f60c4dfb78aa058b00db128572eee0157bc5805a
- Branch / Tag: refs/tags/imandrax-tools==20.0.0
- Owner: https://github.com/imandra-ai
- Access: public
Publication detail:
- Token Issuer: https://token.actions.githubusercontent.com
- Runner Environment: github-hosted
- Publication workflow: release-tools.yml@f60c4dfb78aa058b00db128572eee0157bc5805a
- Trigger Event: push

File details

Details for the file imandrax_tools-20.0.0-cp312-abi3-macosx_11_0_arm64.whl.

File metadata

Download URL: imandrax_tools-20.0.0-cp312-abi3-macosx_11_0_arm64.whl
Upload date: Jun 19, 2026
Size: 567.6 kB
Tags: CPython 3.12+, macOS 11.0+ ARM64
Uploaded using Trusted Publishing? Yes
Uploaded via: twine/6.1.0 CPython/3.13.12

File hashes

Hashes for imandrax_tools-20.0.0-cp312-abi3-macosx_11_0_arm64.whl
Algorithm	Hash digest
SHA256	`eedcf475bd72d8a4aee60bbcf878a96781738ab386d81aa037df672b5b09a8ab`
MD5	`082a3883f6de237731a8fe3889204328`
BLAKE2b-256	`42c0f59c17f9a7ec45b7bdae15189ff3db279262cb0882dbb094b529e64931c5`

See more details on using hashes here.

Provenance

The following attestation bundles were made for imandrax_tools-20.0.0-cp312-abi3-macosx_11_0_arm64.whl:

Publisher: release-tools.yml on imandra-ai/imandrax-tools

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

Statement:
- Statement type: https://in-toto.io/Statement/v1
- Predicate type: https://docs.pypi.org/attestations/publish/v1
- Subject name: imandrax_tools-20.0.0-cp312-abi3-macosx_11_0_arm64.whl
- Subject digest: eedcf475bd72d8a4aee60bbcf878a96781738ab386d81aa037df672b5b09a8ab
- Sigstore transparency entry: 1871985898
- Sigstore integration time: Jun 19, 2026
Source repository:
- Permalink: imandra-ai/imandrax-tools@f60c4dfb78aa058b00db128572eee0157bc5805a
- Branch / Tag: refs/tags/imandrax-tools==20.0.0
- Owner: https://github.com/imandra-ai
- Access: public
Publication detail:
- Token Issuer: https://token.actions.githubusercontent.com
- Runner Environment: github-hosted
- Publication workflow: release-tools.yml@f60c4dfb78aa058b00db128572eee0157bc5805a
- Trigger Event: push

imandrax-tools 20.0.0

Navigation

Verified details

Maintainers

Unverified details

Meta

Project description

ImandraX Tools

Project details

Verified details

Maintainers

Unverified details

Meta

Release history Release notifications | RSS feed

Download files

Source Distribution

Built Distributions

File details

File metadata

File hashes

Provenance

File details

File metadata

File hashes

Provenance

File details

File metadata

File hashes

Provenance

File details

File metadata

File hashes

Provenance