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.3.0.tar.gz
(184.8 kB
view hashes)
Built Distributions
Close
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 |
Close
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 |
Close
Hashes for clingo_dl-1.3.0-cp310-cp310-win_amd64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 265e24465cb110c2599d092c0a5277ea2208fe0949f563eb2fcf07b4fb083a3c |
|
MD5 | ce953948bc490a16c11fff5a4f6e9313 |
|
BLAKE2b-256 | b317e1b933b7131e0fa4fac790d9cc5ad0effed60c3b9d685349f19c590248ea |
Close
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 |
Close
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 |
Close
Hashes for clingo_dl-1.3.0-cp39-cp39-win_amd64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 4b87c8b28d33d5e8be4dc21873c6c5637f4d2fe3441aa053bc62eacab7f61fd8 |
|
MD5 | 6311da22102869fe67cd9b5faa72ca03 |
|
BLAKE2b-256 | 0e6e88bb693d461fe803965224f98c52ce8c01e3b63dae2f44e0464bd894b017 |
Close
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 |
Close
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 |
Close
Hashes for clingo_dl-1.3.0-cp38-cp38-win_amd64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 035efa1b3a2449e5443e63251082aa394d2a30bb40dc14931722022e866fcd0a |
|
MD5 | 3def4f14c76ea711c17659568176af27 |
|
BLAKE2b-256 | ad2b33ae4f3d795f2168d7eb6c8245ae18196aa7d0e22f80df0b02e84dd90b09 |
Close
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 |
Close
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 |
Close
Hashes for clingo_dl-1.3.0-cp37-cp37m-win_amd64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 8679402c853cbfff62b1d4e9d4235fc5282af887db355b434e7c96c4650119c0 |
|
MD5 | 49f57fe6c1ee8d636f456a9a59ec2124 |
|
BLAKE2b-256 | 2ce2ecb9d82eea6737b14f3f5b052a500283dcd8ebd189ba8d26b35dc4facd8b |
Close
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 |
Close
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 |
Close
Hashes for clingo_dl-1.3.0-cp36-cp36m-win_amd64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 713caa72c7d770c698624efd87d0d929798e8598ea5aaa65f1d6d7f0afc4a766 |
|
MD5 | 086ab154ff34d94157eccc2becad62b0 |
|
BLAKE2b-256 | cfd98bfb49e163921528e476267ef0105b331fdb9f764ed929de325b5f5834d5 |
Close
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 |
Close
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 |