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
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 hashes)
Built Distributions
Close
Hashes for clingo_dl-1.2.0.post2-cp39-cp39-win_amd64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | c8922b7de633dda44a4a0be986f5ddfa8da961c57320ab6fba4c7ec9940fe324 |
|
MD5 | 8773c834cf432a6e6802392424069ff8 |
|
BLAKE2b-256 | ce8f3b6a0b5ebd9bed6a290e9f7414e53ee0906c978e2ea8299318d12b24652e |
Close
Hashes for clingo_dl-1.2.0.post2-cp39-cp39-manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 54ef3fdd2b053ed420c4b9432308f3edfeecf006a96f7e2363f3e104f58875c1 |
|
MD5 | 55e37717e8f41e92c61226a231d2dc54 |
|
BLAKE2b-256 | 37abbef4955ee368a2eac0dd9bad47e432e138fb18e3da9e2270038a28201e23 |
Close
Hashes for clingo_dl-1.2.0.post2-cp39-cp39-manylinux2014_aarch64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 21d06e1e0532ab9f6c5b898f10c59260b49cddc851df3d3bbfebcb4e4f70e83a |
|
MD5 | 2f04e7bafd7aecc0b88552dcc5817589 |
|
BLAKE2b-256 | adbe42312fa2c0936d9a3ff26bc5e156d2a5add6e458baa564d7dd93e259fa29 |
Close
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 |
Close
Hashes for clingo_dl-1.2.0.post2-cp38-cp38-win_amd64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 5b6283a8ce9c1c0c60c543cdf22a1c57e651099969cc2ca7a24511cf139ad9b0 |
|
MD5 | e19d3fa41cbeb70f4c4d8b3900ffe10c |
|
BLAKE2b-256 | 44371be3882d0bd0c7ceef5973a48048f32933533978b67a5c4ef57f82587387 |
Close
Hashes for clingo_dl-1.2.0.post2-cp38-cp38-manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 1e39a73627859cea631f677eb6079ff1cbe263d809c87b9d60047409e92fade7 |
|
MD5 | 53327c114cbaafe37cc50f3d744d2943 |
|
BLAKE2b-256 | 8d85d76bc4b40a526a35f41f1c4daa5267ebae9a6515b97d5187de7eb74fce06 |
Close
Hashes for clingo_dl-1.2.0.post2-cp38-cp38-manylinux2014_aarch64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 74b18674337cb6dfc4b79683bd74552ae3c9f55676b39a9ff394c486ab225481 |
|
MD5 | b42d668e2d0661ce6b71fac8f999ea9b |
|
BLAKE2b-256 | 5f3cee778ca7d12e657f20bb6b0bab6c3cd849b2b8535bb7a452d7cf55a0a1d1 |
Close
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 |
Close
Hashes for clingo_dl-1.2.0.post2-cp37-cp37m-win_amd64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 0abb9daf9cc4ef8aca2fc313937b4dc5c669e7f96668af526d58d2192f01dc5e |
|
MD5 | bffd9ac72198be5385bfea974906c1ca |
|
BLAKE2b-256 | f43df4925fc689e367ce9341026df3b185caaf08371356041a20ebad9ac66791 |
Close
Hashes for clingo_dl-1.2.0.post2-cp37-cp37m-manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | cdaaf90248fb9563f8b98fddb21af3d8cab8553f16e60c799d7f859f2f301b35 |
|
MD5 | 1edfb43f8396231f4cbc9afabcf1d75b |
|
BLAKE2b-256 | f9f93ca18db461443cf2e35c695d41511ab87d720962b0bf263f9d4ab402e95b |
Close
Hashes for clingo_dl-1.2.0.post2-cp37-cp37m-manylinux2014_aarch64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 8ef34174353665ef36fc7ecb84a89916ebc156aa2997af37365641994dab233e |
|
MD5 | fe26af42e78447bff294437ac9d150bb |
|
BLAKE2b-256 | d13fa5ffd5cb111508b1c423976e2bc4426f46bfabcf3879e93c29d11d35455e |
Close
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 |
Close
Hashes for clingo_dl-1.2.0.post2-cp36-cp36m-win_amd64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 751d9072fca078a2bc487bb38a0810a904ae039f7f98538a4cf7b18a1f6ef5b9 |
|
MD5 | c5d20cdaf16f1d479e0dff966ea8314b |
|
BLAKE2b-256 | 10413c10f5ca2e7b64704a2983cfd409a5129c053904593e2b96532ab5a7c694 |
Close
Hashes for clingo_dl-1.2.0.post2-cp36-cp36m-manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 6a0beead2582d25f881ef984c8519a93bd7e62401a8184d245aa637d8f75bc4f |
|
MD5 | f695f06d5470b8b7667fb4529649e3e0 |
|
BLAKE2b-256 | 1b961b03823be78385eb9133acf4e5a0e316215844ea891bf718e0019756ccf4 |
Close
Hashes for clingo_dl-1.2.0.post2-cp36-cp36m-manylinux2014_aarch64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 3880bd05e634940eae7bc8f34c472721ea18e48c05f708fe4c248efaa97bcc3f |
|
MD5 | 88b008bdfc59a18388ead524d4bf84c7 |
|
BLAKE2b-256 | d76eafb1227627bd21e863c1dda380bf9a6b9bb3a0cab91cf26fc374d745abd8 |
Close
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 |