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.4.0.tar.gz
(185.8 kB
view hashes)
Built Distributions
Close
Hashes for clingo_dl-1.4.0-pp39-pypy39_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | af83e885d64e4e791be4609b4acbdaf95443d5c2b021f2de36d537230b54ad2a |
|
MD5 | a2270f1945d55616913c28777dbef170 |
|
BLAKE2b-256 | c86abd7caa1b87904db57b548bd4759fe0e0b9fa71f18176e2e5ad6c2d0af867 |
Close
Hashes for clingo_dl-1.4.0-pp39-pypy39_pp73-manylinux_2_17_aarch64.manylinux2014_aarch64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | ce7315212a88e953db70dab931ca4b4b4b9f40cd7892eab8f87ffd1e7963ede4 |
|
MD5 | eab74af359db71aa79134c5513b9406e |
|
BLAKE2b-256 | f2960d04a45a65d7896c79b75bb4e92b473e71f591f5582b3b68026c9b913fe4 |
Close
Hashes for clingo_dl-1.4.0-pp38-pypy38_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 7cd507a9dd2a41288e2bcaf073f81b66647e52813d4ba3451f9260858955bc1a |
|
MD5 | 1da7d662fffebc369d19f115a63453ae |
|
BLAKE2b-256 | 11f0da2d34a409daba111de25a49fc0b18468b1f375b681cfa02b69ddd01ff52 |
Close
Hashes for clingo_dl-1.4.0-pp38-pypy38_pp73-manylinux_2_17_aarch64.manylinux2014_aarch64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 7da6e5ddc9f6676bdec6683e49f4ab5b43fed3c4ec3837b1361bd6a9b4119a3a |
|
MD5 | 6b369350f4d5715264a649fabc572a37 |
|
BLAKE2b-256 | 87baeea098cbd7c5d94916bc9b564a8ae5b118b6e0d7ab1fa5d223521c469665 |
Close
Hashes for clingo_dl-1.4.0-pp37-pypy37_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | e679132e10acfb0f7f3f40a6dec21869e243fca972e48c4632ab045e9a986278 |
|
MD5 | a71547cc71f6a357ce1b865977196a98 |
|
BLAKE2b-256 | 875a31147e7686244ba6f7b58739bd73f5e3bb8f2f1ad7a8880a93b18eb406e4 |
Close
Hashes for clingo_dl-1.4.0-pp37-pypy37_pp73-manylinux_2_17_aarch64.manylinux2014_aarch64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | d0ce9a48907dea899e99b5518fe8324d6cf894a2510c8a0c31f24353493b9216 |
|
MD5 | 32f4ec073c992dd432c8e4eccaad56ea |
|
BLAKE2b-256 | cc101c626835405ce298d89e2bdcbbfe504a9f474b5a38c144dc3b56eb4d913d |
Close
Hashes for clingo_dl-1.4.0-cp311-cp311-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 46624fbd49ab60231057dd791adca753f50ced8e426a1ea11b221fa728d99479 |
|
MD5 | b5e1a6d3c6a738dcb5adec8e673511a8 |
|
BLAKE2b-256 | 6ef6c20996f9ce9987bad7da53abef9f9103020a762043b0a288a216c8a69474 |
Close
Hashes for clingo_dl-1.4.0-cp311-cp311-manylinux_2_17_aarch64.manylinux2014_aarch64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 934959436b46981be7202e8bf4bc6909c93ab2f013d2756c0b093b8249119903 |
|
MD5 | 2f5404dfee85926da06548d2f77e74da |
|
BLAKE2b-256 | 7775b58573c67ff253158889dc4a38c910bcdf2fc5e905dc679efc6b880b6f4e |
Close
Hashes for clingo_dl-1.4.0-cp310-cp310-win_amd64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 75530c549afba74b50d35b66548128c4f74e8e6415ccd0fa9de61ce85ce54e1a |
|
MD5 | 620f654b88a8fa54ea2f19b36eee2b2d |
|
BLAKE2b-256 | 3c640ae255e8bead09a158ff4c9e1389972c7ad288ae9fec8622b330f1b7b709 |
Close
Hashes for clingo_dl-1.4.0-cp310-cp310-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 279234a28cd824f2661bb63421b969b209dd6a6053bcd104416f278811d19e1a |
|
MD5 | 20f901a3bd5f6226dd366f9bef6913a8 |
|
BLAKE2b-256 | b1eeaef2517b6076bbc6b27752937fa17588e19b4fb33793ca55b59313fd89b2 |
Close
Hashes for clingo_dl-1.4.0-cp310-cp310-manylinux_2_17_aarch64.manylinux2014_aarch64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 4783565018ea081e26f84310656700e87ddc5cb368f703f70cb54af23500c495 |
|
MD5 | f5b788a3df9d1422476a6ae56ec46e6c |
|
BLAKE2b-256 | eda0419b1a180efce0a9fdc116d412064e456446fbc0dfb96465d3cd5e6dadc6 |
Close
Hashes for clingo_dl-1.4.0-cp310-cp310-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 712f6704e1396e1294538f07a1d0b5869028a4d8e6dfc2083e217fce6f5fa74d |
|
MD5 | 6d4eef3b7467b207b26b0dc408a6b670 |
|
BLAKE2b-256 | 0c219e23bcc2482a9d45f47d6ee4e0f009e5dbb94568fd73105bbda0c3a93985 |
Close
Hashes for clingo_dl-1.4.0-cp39-cp39-win_amd64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | a423903882bc2d83cb16ab48371ce4a413152edd3ea7446882299c31a025ae6a |
|
MD5 | be6da640bd81c4f190177c9ab4fc4a85 |
|
BLAKE2b-256 | 3462353b11ba11dc2364839587b0f0b13460e9e5a0047f50fd769b18fcad4cd8 |
Close
Hashes for clingo_dl-1.4.0-cp39-cp39-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 3c71d2946701831bccda32b6e0dfeabe5c138fb984dc891b63a2fa1c2b5307dc |
|
MD5 | 18ec858fe5e4f3af0a7380ed6d522d10 |
|
BLAKE2b-256 | 801e8501f0e96d21aea43918a07a3573274274f1d7ed34af64e60016ca4975ec |
Close
Hashes for clingo_dl-1.4.0-cp39-cp39-manylinux_2_17_aarch64.manylinux2014_aarch64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 9fa724495f72ac5db92bc4f83e042bd919c4807852d6621659fe6a79a09eb126 |
|
MD5 | b27a895564d70ad3798f5afe73ff7c49 |
|
BLAKE2b-256 | e32ba5a0c8a778d8c57a8dc3012a47141b24e91fdb970f51cf8da68988a70650 |
Close
Hashes for clingo_dl-1.4.0-cp39-cp39-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | fad552118f932526bdd6c59e405fbab00dbfc3be51d097cd1a20d3a292c4effb |
|
MD5 | 0839fda7d165b56d9dce7d69fb26515c |
|
BLAKE2b-256 | 04fb8f448c482200730705c8f3ede77dcdf42f552f31bfed799762dc024bc820 |
Close
Hashes for clingo_dl-1.4.0-cp38-cp38-win_amd64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | c8b05e63b9a62d41b4f43492dab6d129d5700a8d18f42f50147d03c970f6666e |
|
MD5 | be667604ad071dc6c369d6e7197c371c |
|
BLAKE2b-256 | f858dc5007b55db66ff11c6ea34f2118558fbbd85f6aa85cb5cfbbd134e2e1ce |
Close
Hashes for clingo_dl-1.4.0-cp38-cp38-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 9da9ac49614449b99d4922c29422b4e5fdfa3bae91f21c98fd84adcb4a15b2f6 |
|
MD5 | 87162526ebb0d18c3b41ccd2c97f6ece |
|
BLAKE2b-256 | fb9c43cd81248dc21be28036176476b3b5565c2dee30d5c55dd5017b762a36d7 |
Close
Hashes for clingo_dl-1.4.0-cp38-cp38-manylinux_2_17_aarch64.manylinux2014_aarch64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | cb23dba3414e0b52d0450869836e6a9536543cb635296ef1e56975578472cb36 |
|
MD5 | f4fb0e4c634133d7d70d23db406ee0a6 |
|
BLAKE2b-256 | a1e2e088c33099c778bf7558873b546dd997d8f9f1948fdc183c36898216abcc |
Close
Hashes for clingo_dl-1.4.0-cp38-cp38-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 4ff8d77810f630d975a293984ccb0f65b3776d2f97faa091dd16c25531e4ba74 |
|
MD5 | a4d96bb63a8419f7962025169cc5e070 |
|
BLAKE2b-256 | 56d78afc5215e8c0170430cfe98ae2ec45e7d0b7d77a8e7e919e826b7613f770 |
Close
Hashes for clingo_dl-1.4.0-cp37-cp37m-win_amd64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 744ccbf13e7fd2014a1abe0e1882483609e448108631b6ee9f184486d64c8aa4 |
|
MD5 | 947139155202851b8897d884a5963fbe |
|
BLAKE2b-256 | 5ab4a0a2e3223065d77e2ba9a48de5152403d5308eacc1470578dbcc3f36278b |
Close
Hashes for clingo_dl-1.4.0-cp37-cp37m-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 6485add4a5af4a51569c4c1729218c4db19952cf0b28330a6082dd36d51fd5a9 |
|
MD5 | 3e8c5756384db99862b2c8de691ef33f |
|
BLAKE2b-256 | f2fa5d514f092dacc7e56c35981f61a724b15180f4177d9be5a662988ce5347b |
Close
Hashes for clingo_dl-1.4.0-cp37-cp37m-manylinux_2_17_aarch64.manylinux2014_aarch64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | baaa99b1b9b3b4df22def9e5c5a9e986ae8eddb730c21e762ef15f6870b7e75f |
|
MD5 | e276141022cf0e2b423ec1fdcf930be3 |
|
BLAKE2b-256 | 4b5691b9156062389a1f708f15a37cc6da641aab3ebd51b26208a02f9dc08d47 |
Close
Hashes for clingo_dl-1.4.0-cp37-cp37m-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 46042b065b7c2494daa9516f7a1521d32bb43273bf7e3ee6ce3039715fa40160 |
|
MD5 | 2dd837d645a0092d558f4932b514a60c |
|
BLAKE2b-256 | 7a039cbcc2f488c4e7dd58c8181a186ef71aa08fa7fdf6732703d4a05177bc1e |
Close
Hashes for clingo_dl-1.4.0-cp36-cp36m-win_amd64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 08e5ea76d984d514d29c34e1f512a83f9c9f8f6ccd466a05450a4b7fdb5dc6f1 |
|
MD5 | 2270196e242628e67770abedec462e45 |
|
BLAKE2b-256 | ee9f9b1cf39960cc1e8a7cf5188bc68e8757a0a299a6c74ad0564fc7c8900164 |
Close
Hashes for clingo_dl-1.4.0-cp36-cp36m-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 521042979be333b2e087542a242bbb35773852a2582d137d329e108bfdb4d41a |
|
MD5 | d7f0e16e34782a768ed8f4258eda11f5 |
|
BLAKE2b-256 | 0a3529e82e87a354415684b3907a9ca2281916defd32ef7946694d884851a9b0 |
Close
Hashes for clingo_dl-1.4.0-cp36-cp36m-manylinux_2_17_aarch64.manylinux2014_aarch64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 2fbdca92ca67839b5ec8c04fa4e7416035b1a75838d6cad61cb92004f6b97a63 |
|
MD5 | 3bb25896c121f05699085ca934925432 |
|
BLAKE2b-256 | 745dbccd30f997220165f13ca52de0a4b57974dfa5dfad179edb2dfdf5a4458c |
Close
Hashes for clingo_dl-1.4.0-cp36-cp36m-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 186caa5a8ef52d6a55f20ed31bbd638578f39ac4d00fe768205954d14be0db3f |
|
MD5 | 61a98289443d40cbc9e4e82581da9241 |
|
BLAKE2b-256 | 1b615e111840a8dd933eec415f6f08ad0c4f09a796ac61a079ca4c694858a197 |