clingo-dl

CFFI-based bindings to the clingo-dl solver.

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

Release history Release notifications | RSS feed

1.5.0.post1

Feb 16, 2024

1.5.0

Feb 15, 2024

1.4.0

Sep 11, 2022

1.3.0

Nov 16, 2021

This version

1.2.0.post2

Apr 23, 2021

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.2.0.post2.tar.gz (167.4 kB view details)

Uploaded Apr 23, 2021 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.

clingo_dl-1.2.0.post2-cp39-cp39-win_amd64.whl (99.9 kB view details)

Uploaded Apr 23, 2021 CPython 3.9Windows x86-64

clingo_dl-1.2.0.post2-cp39-cp39-manylinux2014_x86_64.whl (167.2 kB view details)

Uploaded Apr 23, 2021 CPython 3.9

clingo_dl-1.2.0.post2-cp39-cp39-manylinux2014_aarch64.whl (159.0 kB view details)

Uploaded Apr 23, 2021 CPython 3.9

clingo_dl-1.2.0.post2-cp39-cp39-macosx_10_9_x86_64.whl (116.2 kB view details)

Uploaded Apr 23, 2021 CPython 3.9macOS 10.9+ x86-64

clingo_dl-1.2.0.post2-cp38-cp38-win_amd64.whl (99.9 kB view details)

Uploaded Apr 23, 2021 CPython 3.8Windows x86-64

clingo_dl-1.2.0.post2-cp38-cp38-manylinux2014_x86_64.whl (167.2 kB view details)

Uploaded Apr 23, 2021 CPython 3.8

clingo_dl-1.2.0.post2-cp38-cp38-manylinux2014_aarch64.whl (159.0 kB view details)

Uploaded Apr 23, 2021 CPython 3.8

clingo_dl-1.2.0.post2-cp38-cp38-macosx_10_9_x86_64.whl (116.2 kB view details)

Uploaded Apr 23, 2021 CPython 3.8macOS 10.9+ x86-64

clingo_dl-1.2.0.post2-cp37-cp37m-win_amd64.whl (99.9 kB view details)

Uploaded Apr 23, 2021 CPython 3.7mWindows x86-64

clingo_dl-1.2.0.post2-cp37-cp37m-manylinux2014_x86_64.whl (167.1 kB view details)

Uploaded Apr 23, 2021 CPython 3.7m

clingo_dl-1.2.0.post2-cp37-cp37m-manylinux2014_aarch64.whl (158.9 kB view details)

Uploaded Apr 23, 2021 CPython 3.7m

clingo_dl-1.2.0.post2-cp37-cp37m-macosx_10_9_x86_64.whl (116.2 kB view details)

Uploaded Apr 23, 2021 CPython 3.7mmacOS 10.9+ x86-64

clingo_dl-1.2.0.post2-cp36-cp36m-win_amd64.whl (99.9 kB view details)

Uploaded Apr 23, 2021 CPython 3.6mWindows x86-64

clingo_dl-1.2.0.post2-cp36-cp36m-manylinux2014_x86_64.whl (167.1 kB view details)

Uploaded Apr 23, 2021 CPython 3.6m

clingo_dl-1.2.0.post2-cp36-cp36m-manylinux2014_aarch64.whl (158.9 kB view details)

Uploaded Apr 23, 2021 CPython 3.6m

clingo_dl-1.2.0.post2-cp36-cp36m-macosx_10_9_x86_64.whl (116.2 kB view details)

Uploaded Apr 23, 2021 CPython 3.6mmacOS 10.9+ x86-64

File details

Details for the file clingo-dl-1.2.0.post2.tar.gz.

File metadata

Download URL: clingo-dl-1.2.0.post2.tar.gz
Upload date: Apr 23, 2021
Size: 167.4 kB
Tags: Source
Uploaded using Trusted Publishing? No
Uploaded via: twine/3.4.1 importlib_metadata/4.0.1 pkginfo/1.7.0 requests/2.25.1 requests-toolbelt/0.9.1 tqdm/4.60.0 CPython/3.9.4

File hashes

Hashes for clingo-dl-1.2.0.post2.tar.gz
Algorithm	Hash digest
SHA256	`4a01815153f46963b5c61f65c0deabc031b6d8c29794bbedb329d20e06eb33c5`
MD5	`d2c2ed577f08c43a2ceb4b25f2bc7c0b`
BLAKE2b-256	`4577fbed72708e9aa159c4b9d5fabaf41d6e864cf3df4474f376066ca0fa8b32`

See more details on using hashes here.

File details

Details for the file clingo_dl-1.2.0.post2-cp39-cp39-win_amd64.whl.

File metadata

Download URL: clingo_dl-1.2.0.post2-cp39-cp39-win_amd64.whl
Upload date: Apr 23, 2021
Size: 99.9 kB
Tags: CPython 3.9, Windows x86-64
Uploaded using Trusted Publishing? No
Uploaded via: twine/3.4.1 importlib_metadata/4.0.1 pkginfo/1.7.0 requests/2.25.1 requests-toolbelt/0.9.1 tqdm/4.60.0 CPython/3.9.4

File hashes

Hashes for clingo_dl-1.2.0.post2-cp39-cp39-win_amd64.whl
Algorithm	Hash digest
SHA256	`c8922b7de633dda44a4a0be986f5ddfa8da961c57320ab6fba4c7ec9940fe324`
MD5	`8773c834cf432a6e6802392424069ff8`
BLAKE2b-256	`ce8f3b6a0b5ebd9bed6a290e9f7414e53ee0906c978e2ea8299318d12b24652e`

See more details on using hashes here.

File details

Details for the file clingo_dl-1.2.0.post2-cp39-cp39-manylinux2014_x86_64.whl.

File metadata

Download URL: clingo_dl-1.2.0.post2-cp39-cp39-manylinux2014_x86_64.whl
Upload date: Apr 23, 2021
Size: 167.2 kB
Tags: CPython 3.9
Uploaded using Trusted Publishing? No
Uploaded via: twine/3.4.1 importlib_metadata/4.0.1 pkginfo/1.7.0 requests/2.25.1 requests-toolbelt/0.9.1 tqdm/4.60.0 CPython/3.9.4

File hashes

Hashes for clingo_dl-1.2.0.post2-cp39-cp39-manylinux2014_x86_64.whl
Algorithm	Hash digest
SHA256	`54ef3fdd2b053ed420c4b9432308f3edfeecf006a96f7e2363f3e104f58875c1`
MD5	`55e37717e8f41e92c61226a231d2dc54`
BLAKE2b-256	`37abbef4955ee368a2eac0dd9bad47e432e138fb18e3da9e2270038a28201e23`

See more details on using hashes here.

File details

Details for the file clingo_dl-1.2.0.post2-cp39-cp39-manylinux2014_aarch64.whl.

File metadata

Download URL: clingo_dl-1.2.0.post2-cp39-cp39-manylinux2014_aarch64.whl
Upload date: Apr 23, 2021
Size: 159.0 kB
Tags: CPython 3.9
Uploaded using Trusted Publishing? No
Uploaded via: twine/3.4.1 importlib_metadata/4.0.1 pkginfo/1.7.0 requests/2.25.1 requests-toolbelt/0.9.1 tqdm/4.60.0 CPython/3.9.4

File hashes

Hashes for clingo_dl-1.2.0.post2-cp39-cp39-manylinux2014_aarch64.whl
Algorithm	Hash digest
SHA256	`21d06e1e0532ab9f6c5b898f10c59260b49cddc851df3d3bbfebcb4e4f70e83a`
MD5	`2f04e7bafd7aecc0b88552dcc5817589`
BLAKE2b-256	`adbe42312fa2c0936d9a3ff26bc5e156d2a5add6e458baa564d7dd93e259fa29`

See more details on using hashes here.

File details

Details for the file clingo_dl-1.2.0.post2-cp39-cp39-macosx_10_9_x86_64.whl.

File metadata

Download URL: clingo_dl-1.2.0.post2-cp39-cp39-macosx_10_9_x86_64.whl
Upload date: Apr 23, 2021
Size: 116.2 kB
Tags: CPython 3.9, macOS 10.9+ x86-64
Uploaded using Trusted Publishing? No
Uploaded via: twine/3.4.1 importlib_metadata/4.0.1 pkginfo/1.7.0 requests/2.25.1 requests-toolbelt/0.9.1 tqdm/4.60.0 CPython/3.9.4

File hashes

Hashes for clingo_dl-1.2.0.post2-cp39-cp39-macosx_10_9_x86_64.whl
Algorithm	Hash digest
SHA256	`737996ccd7eb1312949987a386f902db37bd622eec461e2c4b38cee327fa7401`
MD5	`8d9ec04b0e115bf6f7927008bd5a0f64`
BLAKE2b-256	`04261825e8275da405bdd079eff3a2582dfdec9a339898d47c244f5472df1cb7`

See more details on using hashes here.

File details

Details for the file clingo_dl-1.2.0.post2-cp38-cp38-win_amd64.whl.

File metadata

Download URL: clingo_dl-1.2.0.post2-cp38-cp38-win_amd64.whl
Upload date: Apr 23, 2021
Size: 99.9 kB
Tags: CPython 3.8, Windows x86-64
Uploaded using Trusted Publishing? No
Uploaded via: twine/3.4.1 importlib_metadata/4.0.1 pkginfo/1.7.0 requests/2.25.1 requests-toolbelt/0.9.1 tqdm/4.60.0 CPython/3.8.9

File hashes

Hashes for clingo_dl-1.2.0.post2-cp38-cp38-win_amd64.whl
Algorithm	Hash digest
SHA256	`5b6283a8ce9c1c0c60c543cdf22a1c57e651099969cc2ca7a24511cf139ad9b0`
MD5	`e19d3fa41cbeb70f4c4d8b3900ffe10c`
BLAKE2b-256	`44371be3882d0bd0c7ceef5973a48048f32933533978b67a5c4ef57f82587387`

See more details on using hashes here.

File details

Details for the file clingo_dl-1.2.0.post2-cp38-cp38-manylinux2014_x86_64.whl.

File metadata

Download URL: clingo_dl-1.2.0.post2-cp38-cp38-manylinux2014_x86_64.whl
Upload date: Apr 23, 2021
Size: 167.2 kB
Tags: CPython 3.8
Uploaded using Trusted Publishing? No
Uploaded via: twine/3.4.1 importlib_metadata/4.0.1 pkginfo/1.7.0 requests/2.25.1 requests-toolbelt/0.9.1 tqdm/4.60.0 CPython/3.9.4

File hashes

Hashes for clingo_dl-1.2.0.post2-cp38-cp38-manylinux2014_x86_64.whl
Algorithm	Hash digest
SHA256	`1e39a73627859cea631f677eb6079ff1cbe263d809c87b9d60047409e92fade7`
MD5	`53327c114cbaafe37cc50f3d744d2943`
BLAKE2b-256	`8d85d76bc4b40a526a35f41f1c4daa5267ebae9a6515b97d5187de7eb74fce06`

See more details on using hashes here.

File details

Details for the file clingo_dl-1.2.0.post2-cp38-cp38-manylinux2014_aarch64.whl.

File metadata

Download URL: clingo_dl-1.2.0.post2-cp38-cp38-manylinux2014_aarch64.whl
Upload date: Apr 23, 2021
Size: 159.0 kB
Tags: CPython 3.8
Uploaded using Trusted Publishing? No
Uploaded via: twine/3.4.1 importlib_metadata/4.0.1 pkginfo/1.7.0 requests/2.25.1 requests-toolbelt/0.9.1 tqdm/4.60.0 CPython/3.9.4

File hashes

Hashes for clingo_dl-1.2.0.post2-cp38-cp38-manylinux2014_aarch64.whl
Algorithm	Hash digest
SHA256	`74b18674337cb6dfc4b79683bd74552ae3c9f55676b39a9ff394c486ab225481`
MD5	`b42d668e2d0661ce6b71fac8f999ea9b`
BLAKE2b-256	`5f3cee778ca7d12e657f20bb6b0bab6c3cd849b2b8535bb7a452d7cf55a0a1d1`

See more details on using hashes here.

File details

Details for the file clingo_dl-1.2.0.post2-cp38-cp38-macosx_10_9_x86_64.whl.

File metadata

Download URL: clingo_dl-1.2.0.post2-cp38-cp38-macosx_10_9_x86_64.whl
Upload date: Apr 23, 2021
Size: 116.2 kB
Tags: CPython 3.8, macOS 10.9+ x86-64
Uploaded using Trusted Publishing? No
Uploaded via: twine/3.4.1 importlib_metadata/4.0.1 pkginfo/1.7.0 requests/2.25.1 requests-toolbelt/0.9.1 tqdm/4.60.0 CPython/3.8.9

File hashes

Hashes for clingo_dl-1.2.0.post2-cp38-cp38-macosx_10_9_x86_64.whl
Algorithm	Hash digest
SHA256	`37984762eb635c4162c21b22a412cbea268c97ff9f91f7bd363fec56747fab4e`
MD5	`7827bdeffaa87f8ee54b9faab52c972f`
BLAKE2b-256	`46b237873afd2971161a52f8d2d21b66a8df60ad1c7561e2862a1f5ff02176fe`

See more details on using hashes here.

File details

Details for the file clingo_dl-1.2.0.post2-cp37-cp37m-win_amd64.whl.

File metadata

Download URL: clingo_dl-1.2.0.post2-cp37-cp37m-win_amd64.whl
Upload date: Apr 23, 2021
Size: 99.9 kB
Tags: CPython 3.7m, Windows x86-64
Uploaded using Trusted Publishing? No
Uploaded via: twine/3.4.1 importlib_metadata/3.10.1 pkginfo/1.7.0 requests/2.25.1 requests-toolbelt/0.9.1 tqdm/4.60.0 CPython/3.7.9

File hashes

Hashes for clingo_dl-1.2.0.post2-cp37-cp37m-win_amd64.whl
Algorithm	Hash digest
SHA256	`0abb9daf9cc4ef8aca2fc313937b4dc5c669e7f96668af526d58d2192f01dc5e`
MD5	`bffd9ac72198be5385bfea974906c1ca`
BLAKE2b-256	`f43df4925fc689e367ce9341026df3b185caaf08371356041a20ebad9ac66791`

See more details on using hashes here.

File details

Details for the file clingo_dl-1.2.0.post2-cp37-cp37m-manylinux2014_x86_64.whl.

File metadata

Download URL: clingo_dl-1.2.0.post2-cp37-cp37m-manylinux2014_x86_64.whl
Upload date: Apr 23, 2021
Size: 167.1 kB
Tags: CPython 3.7m
Uploaded using Trusted Publishing? No
Uploaded via: twine/3.4.1 importlib_metadata/4.0.1 pkginfo/1.7.0 requests/2.25.1 requests-toolbelt/0.9.1 tqdm/4.60.0 CPython/3.9.4

File hashes

Hashes for clingo_dl-1.2.0.post2-cp37-cp37m-manylinux2014_x86_64.whl
Algorithm	Hash digest
SHA256	`cdaaf90248fb9563f8b98fddb21af3d8cab8553f16e60c799d7f859f2f301b35`
MD5	`1edfb43f8396231f4cbc9afabcf1d75b`
BLAKE2b-256	`f9f93ca18db461443cf2e35c695d41511ab87d720962b0bf263f9d4ab402e95b`

See more details on using hashes here.

File details

Details for the file clingo_dl-1.2.0.post2-cp37-cp37m-manylinux2014_aarch64.whl.

File metadata

Download URL: clingo_dl-1.2.0.post2-cp37-cp37m-manylinux2014_aarch64.whl
Upload date: Apr 23, 2021
Size: 158.9 kB
Tags: CPython 3.7m
Uploaded using Trusted Publishing? No
Uploaded via: twine/3.4.1 importlib_metadata/4.0.1 pkginfo/1.7.0 requests/2.25.1 requests-toolbelt/0.9.1 tqdm/4.60.0 CPython/3.9.4

File hashes

Hashes for clingo_dl-1.2.0.post2-cp37-cp37m-manylinux2014_aarch64.whl
Algorithm	Hash digest
SHA256	`8ef34174353665ef36fc7ecb84a89916ebc156aa2997af37365641994dab233e`
MD5	`fe26af42e78447bff294437ac9d150bb`
BLAKE2b-256	`d13fa5ffd5cb111508b1c423976e2bc4426f46bfabcf3879e93c29d11d35455e`

See more details on using hashes here.

File details

Details for the file clingo_dl-1.2.0.post2-cp37-cp37m-macosx_10_9_x86_64.whl.

File metadata

Download URL: clingo_dl-1.2.0.post2-cp37-cp37m-macosx_10_9_x86_64.whl
Upload date: Apr 23, 2021
Size: 116.2 kB
Tags: CPython 3.7m, macOS 10.9+ x86-64
Uploaded using Trusted Publishing? No
Uploaded via: twine/3.4.1 importlib_metadata/4.0.1 pkginfo/1.7.0 requests/2.25.1 requests-toolbelt/0.9.1 tqdm/4.60.0 CPython/3.7.10

File hashes

Hashes for clingo_dl-1.2.0.post2-cp37-cp37m-macosx_10_9_x86_64.whl
Algorithm	Hash digest
SHA256	`4c73689aaf6331d08002fbf0a5262cc1fc448719954a1fcd90851c2a35b7c1d6`
MD5	`1d513e29f45d526a02c74dc277bcc08d`
BLAKE2b-256	`96c3507b77aa97768fdd0b02f8588a02585f5c0bf52dfa297e87229815a15d06`

See more details on using hashes here.

File details

Details for the file clingo_dl-1.2.0.post2-cp36-cp36m-win_amd64.whl.

File metadata

Download URL: clingo_dl-1.2.0.post2-cp36-cp36m-win_amd64.whl
Upload date: Apr 23, 2021
Size: 99.9 kB
Tags: CPython 3.6m, Windows x86-64
Uploaded using Trusted Publishing? No
Uploaded via: twine/3.4.1 importlib_metadata/4.0.1 pkginfo/1.7.0 requests/2.25.1 requests-toolbelt/0.9.1 tqdm/4.60.0 CPython/3.6.8

File hashes

Hashes for clingo_dl-1.2.0.post2-cp36-cp36m-win_amd64.whl
Algorithm	Hash digest
SHA256	`751d9072fca078a2bc487bb38a0810a904ae039f7f98538a4cf7b18a1f6ef5b9`
MD5	`c5d20cdaf16f1d479e0dff966ea8314b`
BLAKE2b-256	`10413c10f5ca2e7b64704a2983cfd409a5129c053904593e2b96532ab5a7c694`

See more details on using hashes here.

File details

Details for the file clingo_dl-1.2.0.post2-cp36-cp36m-manylinux2014_x86_64.whl.

File metadata

Download URL: clingo_dl-1.2.0.post2-cp36-cp36m-manylinux2014_x86_64.whl
Upload date: Apr 23, 2021
Size: 167.1 kB
Tags: CPython 3.6m
Uploaded using Trusted Publishing? No
Uploaded via: twine/3.4.1 importlib_metadata/4.0.1 pkginfo/1.7.0 requests/2.25.1 requests-toolbelt/0.9.1 tqdm/4.60.0 CPython/3.9.4

File hashes

Hashes for clingo_dl-1.2.0.post2-cp36-cp36m-manylinux2014_x86_64.whl
Algorithm	Hash digest
SHA256	`6a0beead2582d25f881ef984c8519a93bd7e62401a8184d245aa637d8f75bc4f`
MD5	`f695f06d5470b8b7667fb4529649e3e0`
BLAKE2b-256	`1b961b03823be78385eb9133acf4e5a0e316215844ea891bf718e0019756ccf4`

See more details on using hashes here.

File details

Details for the file clingo_dl-1.2.0.post2-cp36-cp36m-manylinux2014_aarch64.whl.

File metadata

Download URL: clingo_dl-1.2.0.post2-cp36-cp36m-manylinux2014_aarch64.whl
Upload date: Apr 23, 2021
Size: 158.9 kB
Tags: CPython 3.6m
Uploaded using Trusted Publishing? No
Uploaded via: twine/3.4.1 importlib_metadata/4.0.1 pkginfo/1.7.0 requests/2.25.1 requests-toolbelt/0.9.1 tqdm/4.60.0 CPython/3.9.4

File hashes

Hashes for clingo_dl-1.2.0.post2-cp36-cp36m-manylinux2014_aarch64.whl
Algorithm	Hash digest
SHA256	`3880bd05e634940eae7bc8f34c472721ea18e48c05f708fe4c248efaa97bcc3f`
MD5	`88b008bdfc59a18388ead524d4bf84c7`
BLAKE2b-256	`d76eafb1227627bd21e863c1dda380bf9a6b9bb3a0cab91cf26fc374d745abd8`

See more details on using hashes here.

File details

Details for the file clingo_dl-1.2.0.post2-cp36-cp36m-macosx_10_9_x86_64.whl.

File metadata

Download URL: clingo_dl-1.2.0.post2-cp36-cp36m-macosx_10_9_x86_64.whl
Upload date: Apr 23, 2021
Size: 116.2 kB
Tags: CPython 3.6m, macOS 10.9+ x86-64
Uploaded using Trusted Publishing? No
Uploaded via: twine/3.4.1 importlib_metadata/4.0.1 pkginfo/1.7.0 requests/2.25.1 requests-toolbelt/0.9.1 tqdm/4.60.0 CPython/3.6.13

File hashes

Hashes for clingo_dl-1.2.0.post2-cp36-cp36m-macosx_10_9_x86_64.whl
Algorithm	Hash digest
SHA256	`023b26652205548247696403e8271570908b7b656293f410e5b0afd8695d8c65`
MD5	`0811b09516853af20e9fe8c60e9d6c65`
BLAKE2b-256	`77a06aa1baf1a7eaf95ebec1bf1c31a16fddd88bbc7dc9c77b2b8b5bc3681dd6`

See more details on using hashes here.

clingo-dl 1.2.0.post2

Navigation

Verified details

Maintainers

Unverified details

Project links

Meta

Project description

Project details

Verified details

Maintainers

Unverified details

Project links

Meta

Release history Release notifications | RSS feed

Download files

Source Distribution

Built Distributions

File details

File metadata

File hashes

File details

File metadata

File hashes

File details

File metadata

File hashes

File details

File metadata

File hashes

File details

File metadata

File hashes

File details

File metadata

File hashes

File details

File metadata

File hashes

File details

File metadata

File hashes

File details

File metadata

File hashes

File details

File metadata

File hashes

File details

File metadata

File hashes

File details

File metadata

File hashes

File details

File metadata

File hashes

File details

File metadata

File hashes

File details

File metadata

File hashes

File details

File metadata

File hashes

File details

File metadata

File hashes