kairos-planner
Kairos in Python: a temporal and numeric PDDL planner
(PDDL 2.1 to 3.1 and PDDL+), with its validator. The wheel also installs the kairos command.
pip install kairos-planner
import kairos
domain = kairos.load_domain("domain.pddl")
problem = kairos.load_problem("problem.pddl", domain)
result = kairos.Planner().solve(problem, timeout=10)
if result.status == kairos.Status.SOLVED:
print(result.plan) # IPC format; result.plan.steps for the steps
print(kairos.validate(problem, result.plan).valid)
elif result.status == kairos.Status.UNSOLVABLE:
print("no plan exists (proved)")
- Anytime:
Planner().plans(problem, timeout=30)yields each better plan as it comes;Planner().start(problem, on_plan=...)runs the search in its own thread (wait_first,next_plan,best,stop,wait). - Options as keywords (
timeout,memory_limit_mb,anytime,engine="m3",threads,epsilon,stop_after_no_improvement,target_cost, ...) or as aSolveOptionsobject. - Statuses:
SOLVED,UNSOLVABLE(proved),NO_PLAN_FOUND(no engine that applies is complete for the task: likely none exists, but nothing proves it),TIMEOUT,OUT_OF_MEMORY,UNSUPPORTED, ...result.diagnosticssays why there is no plan. - PDDL errors raise
kairos.PddlError; each of itsdiagnosticshas a stablecode, amessageand alocation(file, line, column). - Checking and validation:
check_domain,check_problem,validate,validate_plan,parse_plan,pddl_support(). - Planning releases the GIL (several threads can plan at once) and Ctrl-C stops it.
1 maintainer
Metadata
1 maintainer
Release files for kairos-planner 1.0.3
For a detailed explanation of source distributions (sdists) and built distributions (wheels), please see the package formats documentation.
Source distribution (sdist)
| File | Size | Uploaded | |
|---|---|---|---|
| kairos_planner-1.0.3.tar.gz | 1.5 MB | Details |
Built distributions (wheels)
Total release size: 21.9 MB
Release files / kairos_planner-1.0.3.tar.gz
| Download URL | kairos_planner-1.0.3.tar.gz |
|---|---|
| Size | 1.5 MB |
| Tags | Source |
|
SHA-256 checksum How to use checksums |
456c4b04ffd7318d047f589dafe4ed2f2b2625162de0fea03b70d0122d130e59
|
|
BLAKE2b-256 checksum How to use checksums |
5558d4543280cc4e94ecd9f729b25b7ba7516ee0f9f77c895d63fb25aaa735e9
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Oct 18, 2026.
Transparency logRelease files / kairos_planner-1.0.3-cp312-abi3-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl
| Download URL | kairos_planner-1.0.3-cp312-abi3-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl |
|---|---|
| Size | 3.6 MB |
| Tags | CPython 3.12 Linux glibc 2.27+ x86-64 Linux glibc 2.28+ x86-64 abi3 |
|
SHA-256 checksum How to use checksums |
4a4f304997e54d4095f90b02d5a91ca31cf0836054ff64e5d6f593dec8408c78
|
|
BLAKE2b-256 checksum How to use checksums |
6e82b8ca3c578168ef104e6f55f780e69d1d60d4a9b81873ff17adac5d36b897
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Oct 18, 2026.
Transparency logRelease files / kairos_planner-1.0.3-cp312-abi3-manylinux_2_26_aarch64.manylinux_2_28_aarch64.whl
| Download URL | kairos_planner-1.0.3-cp312-abi3-manylinux_2_26_aarch64.manylinux_2_28_aarch64.whl |
|---|---|
| Size | 3.2 MB |
| Tags | CPython 3.12 Linux glibc 2.26+ ARM64 Linux glibc 2.28+ ARM64 abi3 |
|
SHA-256 checksum How to use checksums |
e64484e59cdbc92ad92d9dd23226d45245a5195cb18cc23822927c2cdc78936f
|
|
BLAKE2b-256 checksum How to use checksums |
8afce80cc03ba2409c1a0cb1f9ea9be62ae8581f176aa987ab4ce8efd1c4b9bc
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Oct 18, 2026.
Transparency logRelease files / kairos_planner-1.0.3-cp311-cp311-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl
| Download URL | kairos_planner-1.0.3-cp311-cp311-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl |
|---|---|
| Size | 3.6 MB |
| Tags | CPython 3.11 Linux glibc 2.27+ x86-64 Linux glibc 2.28+ x86-64 |
|
SHA-256 checksum How to use checksums |
b4b4dd4ebfdb8d2bf9ee4ce0a861e18d142b09cbd512e49c4c552584eb41f0c2
|
|
BLAKE2b-256 checksum How to use checksums |
aaba08d5856ffc3a447454c3c80d7edcb6d4f73f9e70894417623e746774a053
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Oct 18, 2026.
Transparency logRelease files / kairos_planner-1.0.3-cp311-cp311-manylinux_2_26_aarch64.manylinux_2_28_aarch64.whl
| Download URL | kairos_planner-1.0.3-cp311-cp311-manylinux_2_26_aarch64.manylinux_2_28_aarch64.whl |
|---|---|
| Size | 3.2 MB |
| Tags | CPython 3.11 Linux glibc 2.26+ ARM64 Linux glibc 2.28+ ARM64 |
|
SHA-256 checksum How to use checksums |
8d16117b47d278435e2e7d7801ad67d323d28e0b22ec4bf017f95efefc5403ac
|
|
BLAKE2b-256 checksum How to use checksums |
ea5d6574da4ed7736a327c43a85aeb1020633c9fbf3eb66c2b83ab307d23b105
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Oct 18, 2026.
Transparency logRelease files / kairos_planner-1.0.3-cp310-cp310-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl
| Download URL | kairos_planner-1.0.3-cp310-cp310-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl |
|---|---|
| Size | 3.6 MB |
| Tags | CPython 3.10 Linux glibc 2.27+ x86-64 Linux glibc 2.28+ x86-64 |
|
SHA-256 checksum How to use checksums |
f0b3e538efff128bb7d5ceca8751461761143e636707bff396e95a81f4c60ef0
|
|
BLAKE2b-256 checksum How to use checksums |
d31eea82e18388c521e5e061a7ae6701b57147f9512f7b48e021d6c5b4d85615
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Oct 18, 2026.
Transparency logRelease files / kairos_planner-1.0.3-cp310-cp310-manylinux_2_26_aarch64.manylinux_2_28_aarch64.whl
| Download URL | kairos_planner-1.0.3-cp310-cp310-manylinux_2_26_aarch64.manylinux_2_28_aarch64.whl |
|---|---|
| Size | 3.2 MB |
| Tags | CPython 3.10 Linux glibc 2.26+ ARM64 Linux glibc 2.28+ ARM64 |
|
SHA-256 checksum How to use checksums |
72708923e8056ab7bdf0f7434f26d421c202367e06994335da0047febb60b2df
|
|
BLAKE2b-256 checksum How to use checksums |
50e200ed4092f81f8e9f1c6b929520649fd06a235c31320e305d1484c47f6ab1
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Oct 18, 2026.
Transparency log
