CFFI-based bindings to the clingo-dl solver.

Navigation

Verified details

These details have been verified by PyPI
Maintainers
Avatar for kaminski from gravatar.com kaminski

Unverified details

These details have not been verified by PyPI
Project links
Meta
Report project as malware

Project description

This package allows for adding the clingo-dl propagator as a theory to clingo.

It can also be used as a clingo-dl solver running:

python -m clingodl CLINGODL_ARGUMENTS

Project details

Verified details

These details have been verified by PyPI
Maintainers
Avatar for kaminski from gravatar.com kaminski

Unverified details

These details have not been verified by PyPI
Project links
Meta

Release history Release notifications | RSS feed

1.5.0.post1

1.5.0

1.4.0

This version

1.3.0

1.2.0.post2

Download files

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

Source Distribution

clingo-dl-1.3.0.tar.gz (184.8 kB view details)

Uploaded Source

Built Distributions

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

clingo_dl-1.3.0-pp38-pypy38_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (166.9 kB view details)

Uploaded PyPymanylinux: glibc 2.17+ x86-64

clingo_dl-1.3.0-pp37-pypy37_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (166.9 kB view details)

Uploaded PyPymanylinux: glibc 2.17+ x86-64

clingo_dl-1.3.0-cp310-cp310-win_amd64.whl (106.4 kB view details)

Uploaded CPython 3.10Windows x86-64

clingo_dl-1.3.0-cp310-cp310-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (171.2 kB view details)

Uploaded CPython 3.10manylinux: glibc 2.17+ x86-64

clingo_dl-1.3.0-cp310-cp310-macosx_10_9_x86_64.whl (119.0 kB view details)

Uploaded CPython 3.10macOS 10.9+ x86-64

clingo_dl-1.3.0-cp39-cp39-win_amd64.whl (106.5 kB view details)

Uploaded CPython 3.9Windows x86-64

clingo_dl-1.3.0-cp39-cp39-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (171.2 kB view details)

Uploaded CPython 3.9manylinux: glibc 2.17+ x86-64

clingo_dl-1.3.0-cp39-cp39-macosx_10_9_x86_64.whl (119.0 kB view details)

Uploaded CPython 3.9macOS 10.9+ x86-64

clingo_dl-1.3.0-cp38-cp38-win_amd64.whl (106.4 kB view details)

Uploaded CPython 3.8Windows x86-64

clingo_dl-1.3.0-cp38-cp38-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (171.2 kB view details)

Uploaded CPython 3.8manylinux: glibc 2.17+ x86-64

clingo_dl-1.3.0-cp38-cp38-macosx_10_9_x86_64.whl (119.0 kB view details)

Uploaded CPython 3.8macOS 10.9+ x86-64

clingo_dl-1.3.0-cp37-cp37m-win_amd64.whl (106.4 kB view details)

Uploaded CPython 3.7mWindows x86-64

clingo_dl-1.3.0-cp37-cp37m-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (171.2 kB view details)

Uploaded CPython 3.7mmanylinux: glibc 2.17+ x86-64

clingo_dl-1.3.0-cp37-cp37m-macosx_10_9_x86_64.whl (119.0 kB view details)

Uploaded CPython 3.7mmacOS 10.9+ x86-64

clingo_dl-1.3.0-cp36-cp36m-win_amd64.whl (106.4 kB view details)

Uploaded CPython 3.6mWindows x86-64

clingo_dl-1.3.0-cp36-cp36m-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (171.2 kB view details)

Uploaded CPython 3.6mmanylinux: glibc 2.17+ x86-64

clingo_dl-1.3.0-cp36-cp36m-macosx_10_9_x86_64.whl (119.0 kB view details)

Uploaded CPython 3.6mmacOS 10.9+ x86-64

File details

Details for the file clingo-dl-1.3.0.tar.gz.

File metadata

  • Download URL: clingo-dl-1.3.0.tar.gz
  • Upload date:
  • Size: 184.8 kB
  • Tags: Source
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/3.6.0 importlib_metadata/4.8.2 pkginfo/1.7.1 requests/2.26.0 requests-toolbelt/0.9.1 tqdm/4.62.3 CPython/3.9.8

File hashes

Hashes for clingo-dl-1.3.0.tar.gz
Algorithm Hash digest
SHA256 5a6ef7acbdf287c7c25bf0e30be8c83935f986ae04f8ee47c2cb25c0383858e3
MD5 fa11d0bf4aa525ea72ba7d7417f30a6b
BLAKE2b-256 e5b648f685a4b4c9f6bfbf10875dd581091b8163a3e03c95a483dffd1fd075af

See more details on using hashes here.

File details

Details for the file clingo_dl-1.3.0-pp38-pypy38_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl.

File metadata

File hashes

Hashes for clingo_dl-1.3.0-pp38-pypy38_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 4807e38cc797c69d6211fbf791d1bc8f6c35f2a23defeb049fc8e6ad273c7ce9
MD5 60516209c95decbbfed014166670fbf7
BLAKE2b-256 d09435bc05f8f5dc0c0888b9a47ae62fabdeec319a68ceabe0e126f862a35aa3

See more details on using hashes here.

File details

Details for the file clingo_dl-1.3.0-pp37-pypy37_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl.

File metadata

File hashes

Hashes for clingo_dl-1.3.0-pp37-pypy37_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 dc3e7cd72c00bcd3392d76b0307dbf151e28925ae3b7c99942aa7a063f220c42
MD5 8dc7c8a6924ad1733afb8f56ffbc340b
BLAKE2b-256 c07eb9064376ee954bf3676f411457a1f5ec361d8c2312a12a17c8aea5fbfd79

See more details on using hashes here.

File details

Details for the file clingo_dl-1.3.0-cp310-cp310-win_amd64.whl.

File metadata

  • Download URL: clingo_dl-1.3.0-cp310-cp310-win_amd64.whl
  • Upload date:
  • Size: 106.4 kB
  • Tags: CPython 3.10, Windows x86-64
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/3.6.0 importlib_metadata/4.8.2 pkginfo/1.7.1 requests/2.26.0 requests-toolbelt/0.9.1 tqdm/4.62.3 CPython/3.10.0

File hashes

Hashes for clingo_dl-1.3.0-cp310-cp310-win_amd64.whl
Algorithm Hash digest
SHA256 265e24465cb110c2599d092c0a5277ea2208fe0949f563eb2fcf07b4fb083a3c
MD5 ce953948bc490a16c11fff5a4f6e9313
BLAKE2b-256 b317e1b933b7131e0fa4fac790d9cc5ad0effed60c3b9d685349f19c590248ea

See more details on using hashes here.

File details

Details for the file clingo_dl-1.3.0-cp310-cp310-manylinux_2_17_x86_64.manylinux2014_x86_64.whl.

File metadata

File hashes

Hashes for clingo_dl-1.3.0-cp310-cp310-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 dc02988a769c8db9b49b28d5f7646fec4932de19bfc68e0d90a8456d0314b895
MD5 cbecb677bea6780238ec4dddb3c5ba4b
BLAKE2b-256 3aa713606f0b8d0d4db7d2c12e7e1d525dc4e690097af661d978932941351eb6

See more details on using hashes here.

File details

Details for the file clingo_dl-1.3.0-cp310-cp310-macosx_10_9_x86_64.whl.

File metadata

  • Download URL: clingo_dl-1.3.0-cp310-cp310-macosx_10_9_x86_64.whl
  • Upload date:
  • Size: 119.0 kB
  • Tags: CPython 3.10, macOS 10.9+ x86-64
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/3.6.0 importlib_metadata/4.8.2 pkginfo/1.7.1 requests/2.26.0 requests-toolbelt/0.9.1 tqdm/4.62.3 CPython/3.10.0

File hashes

Hashes for clingo_dl-1.3.0-cp310-cp310-macosx_10_9_x86_64.whl
Algorithm Hash digest
SHA256 1c0b68ffc4cbb34dc714c12b6d55be183cd530277a48c6f2221a07fd6458164f
MD5 0144f5f590f1e6bf77dad9f8e2e42d2f
BLAKE2b-256 78d1b6c88b5d61bcb4f9de2ddda61ed21d7ec03e984ddede189aca9e1e2694b8

See more details on using hashes here.

File details

Details for the file clingo_dl-1.3.0-cp39-cp39-win_amd64.whl.

File metadata

  • Download URL: clingo_dl-1.3.0-cp39-cp39-win_amd64.whl
  • Upload date:
  • Size: 106.5 kB
  • Tags: CPython 3.9, Windows x86-64
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/3.6.0 importlib_metadata/4.8.2 pkginfo/1.7.1 requests/2.26.0 requests-toolbelt/0.9.1 tqdm/4.62.3 CPython/3.9.8

File hashes

Hashes for clingo_dl-1.3.0-cp39-cp39-win_amd64.whl
Algorithm Hash digest
SHA256 4b87c8b28d33d5e8be4dc21873c6c5637f4d2fe3441aa053bc62eacab7f61fd8
MD5 6311da22102869fe67cd9b5faa72ca03
BLAKE2b-256 0e6e88bb693d461fe803965224f98c52ce8c01e3b63dae2f44e0464bd894b017

See more details on using hashes here.

File details

Details for the file clingo_dl-1.3.0-cp39-cp39-manylinux_2_17_x86_64.manylinux2014_x86_64.whl.

File metadata

File hashes

Hashes for clingo_dl-1.3.0-cp39-cp39-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 7684dbc0a413f151768cb861aa780b7d724182ae15382132f4d7fa708b9188b5
MD5 b838202607110decd7e63ffafe117f3d
BLAKE2b-256 174134f819a7e77125cf96d72dd2b10e64d65957fbe6584f992bc904cd6cd484

See more details on using hashes here.

File details

Details for the file clingo_dl-1.3.0-cp39-cp39-macosx_10_9_x86_64.whl.

File metadata

  • Download URL: clingo_dl-1.3.0-cp39-cp39-macosx_10_9_x86_64.whl
  • Upload date:
  • Size: 119.0 kB
  • Tags: CPython 3.9, macOS 10.9+ x86-64
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/3.6.0 importlib_metadata/4.8.2 pkginfo/1.7.1 requests/2.26.0 requests-toolbelt/0.9.1 tqdm/4.62.3 CPython/3.9.8

File hashes

Hashes for clingo_dl-1.3.0-cp39-cp39-macosx_10_9_x86_64.whl
Algorithm Hash digest
SHA256 6a959a45183754c82a652e8e2798f69e32c95261c7e01d97455824db3880e204
MD5 e83f1c5ab4ff8deb0ab76ff9f6186866
BLAKE2b-256 9b707d5b92a5d8b0a431255b5c6d7e4415d4f0ce2b50cfb0b14b2668e28349cb

See more details on using hashes here.

File details

Details for the file clingo_dl-1.3.0-cp38-cp38-win_amd64.whl.

File metadata

  • Download URL: clingo_dl-1.3.0-cp38-cp38-win_amd64.whl
  • Upload date:
  • Size: 106.4 kB
  • Tags: CPython 3.8, Windows x86-64
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/3.6.0 importlib_metadata/4.8.2 pkginfo/1.7.1 requests/2.26.0 requests-toolbelt/0.9.1 tqdm/4.62.3 CPython/3.8.10

File hashes

Hashes for clingo_dl-1.3.0-cp38-cp38-win_amd64.whl
Algorithm Hash digest
SHA256 035efa1b3a2449e5443e63251082aa394d2a30bb40dc14931722022e866fcd0a
MD5 3def4f14c76ea711c17659568176af27
BLAKE2b-256 ad2b33ae4f3d795f2168d7eb6c8245ae18196aa7d0e22f80df0b02e84dd90b09

See more details on using hashes here.

File details

Details for the file clingo_dl-1.3.0-cp38-cp38-manylinux_2_17_x86_64.manylinux2014_x86_64.whl.

File metadata

File hashes

Hashes for clingo_dl-1.3.0-cp38-cp38-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 4b679b6495fade6d4faf0fdd0f03bcaa73d3a257d6149298e3e3519d33a41e66
MD5 c9f89d4196a1bc4b67aa1891739e11e2
BLAKE2b-256 d5206e6d619d6e714aaa5c14f22e6cccf6a802d9d1337586955c4eaa2ef4f590

See more details on using hashes here.

File details

Details for the file clingo_dl-1.3.0-cp38-cp38-macosx_10_9_x86_64.whl.

File metadata

  • Download URL: clingo_dl-1.3.0-cp38-cp38-macosx_10_9_x86_64.whl
  • Upload date:
  • Size: 119.0 kB
  • Tags: CPython 3.8, macOS 10.9+ x86-64
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/3.6.0 importlib_metadata/4.8.2 pkginfo/1.7.1 requests/2.26.0 requests-toolbelt/0.9.1 tqdm/4.62.3 CPython/3.8.12

File hashes

Hashes for clingo_dl-1.3.0-cp38-cp38-macosx_10_9_x86_64.whl
Algorithm Hash digest
SHA256 6d92f679ea68d887b9728767739cf93acf53ec3c1c4630b1dd25042d72f0f06b
MD5 5373851e75785234283e947008370066
BLAKE2b-256 2e0eb07292589e93fa25823a61c4530568f0d87ff6d0004fbb1a9113ae0d4a1c

See more details on using hashes here.

File details

Details for the file clingo_dl-1.3.0-cp37-cp37m-win_amd64.whl.

File metadata

  • Download URL: clingo_dl-1.3.0-cp37-cp37m-win_amd64.whl
  • Upload date:
  • Size: 106.4 kB
  • Tags: CPython 3.7m, Windows x86-64
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/3.6.0 importlib_metadata/4.8.2 pkginfo/1.7.1 requests/2.26.0 requests-toolbelt/0.9.1 tqdm/4.62.3 CPython/3.7.9

File hashes

Hashes for clingo_dl-1.3.0-cp37-cp37m-win_amd64.whl
Algorithm Hash digest
SHA256 8679402c853cbfff62b1d4e9d4235fc5282af887db355b434e7c96c4650119c0
MD5 49f57fe6c1ee8d636f456a9a59ec2124
BLAKE2b-256 2ce2ecb9d82eea6737b14f3f5b052a500283dcd8ebd189ba8d26b35dc4facd8b

See more details on using hashes here.

File details

Details for the file clingo_dl-1.3.0-cp37-cp37m-manylinux_2_17_x86_64.manylinux2014_x86_64.whl.

File metadata

File hashes

Hashes for clingo_dl-1.3.0-cp37-cp37m-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 6d3cfa26501cf4f168d23d0e4f4d9285fbf1b58f6980c36f7f8d4d1b774308eb
MD5 1035b16268cf6ce7c28dfcb7d7c03823
BLAKE2b-256 71be7eec49ce5f15548a82a4bbc4c999d2a45288cec2368600297774ef14929b

See more details on using hashes here.

File details

Details for the file clingo_dl-1.3.0-cp37-cp37m-macosx_10_9_x86_64.whl.

File metadata

  • Download URL: clingo_dl-1.3.0-cp37-cp37m-macosx_10_9_x86_64.whl
  • Upload date:
  • Size: 119.0 kB
  • Tags: CPython 3.7m, macOS 10.9+ x86-64
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/3.6.0 importlib_metadata/4.8.2 pkginfo/1.7.1 requests/2.26.0 requests-toolbelt/0.9.1 tqdm/4.62.3 CPython/3.7.12

File hashes

Hashes for clingo_dl-1.3.0-cp37-cp37m-macosx_10_9_x86_64.whl
Algorithm Hash digest
SHA256 53cefdf5de236931028ad64f3d91d2e719b9a84da90d17fb7fff81f16345b2e5
MD5 8ba8484f08ab9ed534ba1b3ed484b5b2
BLAKE2b-256 5042e7bcb0102f59f985150e6f58b83c2cf79932d7e186054f14262bf137da2d

See more details on using hashes here.

File details

Details for the file clingo_dl-1.3.0-cp36-cp36m-win_amd64.whl.

File metadata

  • Download URL: clingo_dl-1.3.0-cp36-cp36m-win_amd64.whl
  • Upload date:
  • Size: 106.4 kB
  • Tags: CPython 3.6m, Windows x86-64
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/3.6.0 importlib_metadata/4.8.2 pkginfo/1.7.1 requests/2.26.0 requests-toolbelt/0.9.1 tqdm/4.62.3 CPython/3.6.8

File hashes

Hashes for clingo_dl-1.3.0-cp36-cp36m-win_amd64.whl
Algorithm Hash digest
SHA256 713caa72c7d770c698624efd87d0d929798e8598ea5aaa65f1d6d7f0afc4a766
MD5 086ab154ff34d94157eccc2becad62b0
BLAKE2b-256 cfd98bfb49e163921528e476267ef0105b331fdb9f764ed929de325b5f5834d5

See more details on using hashes here.

File details

Details for the file clingo_dl-1.3.0-cp36-cp36m-manylinux_2_17_x86_64.manylinux2014_x86_64.whl.

File metadata

File hashes

Hashes for clingo_dl-1.3.0-cp36-cp36m-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 daf021615840960d184d19110e417339084c3e4ffc5d3b7bb9c0dad13e26170b
MD5 6a883b1a64ca8340c5b1c9b18bd9ab9d
BLAKE2b-256 b46296d8e1e77bb13c9f109e6595cf4abe5791d1ee8ebae5946dcf858216acf8

See more details on using hashes here.

File details

Details for the file clingo_dl-1.3.0-cp36-cp36m-macosx_10_9_x86_64.whl.

File metadata

  • Download URL: clingo_dl-1.3.0-cp36-cp36m-macosx_10_9_x86_64.whl
  • Upload date:
  • Size: 119.0 kB
  • Tags: CPython 3.6m, macOS 10.9+ x86-64
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/3.6.0 importlib_metadata/4.8.2 pkginfo/1.7.1 requests/2.26.0 requests-toolbelt/0.9.1 tqdm/4.62.3 CPython/3.6.15

File hashes

Hashes for clingo_dl-1.3.0-cp36-cp36m-macosx_10_9_x86_64.whl
Algorithm Hash digest
SHA256 478243f78c6eab67415e0f42e0e28008b2f3bf4c9354171cd251e802a7a73f6d
MD5 5849168ecc57680999b7936a66754c3f
BLAKE2b-256 a9516e4e3c8787de7793782c714b301d38c2018c52e2e7a32eab6256c9d9e72c

See more details on using hashes here.

Supported by

AWS Cloud computing and Security Sponsor Datadog Monitoring Depot Continuous Integration Fastly CDN Google Download Analytics Pingdom Monitoring Sentry Error logging StatusPage Status page