CFFI-based bindings to the clingcon solver.
Project description
This package allows for adding the clingcon propagator as a theory to clingcon.
It can also be used as a clingcon solver running:
python -m clingcon CLINGCON_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
clingcon-5.2.0.tar.gz
(290.1 kB
view hashes)
Built Distributions
Close
Hashes for clingcon-5.2.0-pp39-pypy39_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | fc1b56cbed84de1908bea43a2abda879d092149184c4cd432ae7e5e671066919 |
|
MD5 | d3d05669cd4ff2e9c13045aeb2d139b6 |
|
BLAKE2b-256 | 213bb25c3baa843979273a62cdceca6753c5bf537239369c4440d23cef1d2b41 |
Close
Hashes for clingcon-5.2.0-pp39-pypy39_pp73-manylinux_2_17_aarch64.manylinux2014_aarch64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 0c0a1be5516f2f440f9aca066589baab72a7892f19b79bc6105b7f96619d4cd3 |
|
MD5 | 730ff2aed403bdb3099f104e8c021b36 |
|
BLAKE2b-256 | dc9cca8fbf0fc5aaf01462d50268c34f06deb00d6febbef982fc58a69d2f8236 |
Close
Hashes for clingcon-5.2.0-pp38-pypy38_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 8b583592c610f948a9db3086b9cea2d6dce95282b856c28f8971348223dd6f5f |
|
MD5 | 3eba52312cb563290f46ef9b74774c5c |
|
BLAKE2b-256 | ab8870ba7b9a53634dcd1f700bfe11bb1bed943077631ef0a82222f62126846a |
Close
Hashes for clingcon-5.2.0-pp38-pypy38_pp73-manylinux_2_17_aarch64.manylinux2014_aarch64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 6b287124d31da4a6bc5fe3f9637c7a684c59fd6226faf7423fef771e5b6485cf |
|
MD5 | da2c047ee28241dc2a9dd8b17e432170 |
|
BLAKE2b-256 | 0306d325e5d91aa6014e297d69f3bf915230e26f8d9d0274e4177cfd9aaf655e |
Close
Hashes for clingcon-5.2.0-pp37-pypy37_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 77d270673d333ec9da38e1f245d55e3b22612ca3d51b75a78d12c4f0fe7f1a65 |
|
MD5 | 80fd96cb10bc62762b58f226bc160fcd |
|
BLAKE2b-256 | 262ccc4cae898e2a426090b5bf48086ee1a4d0a5bddd600a4b7a5c342a3cce91 |
Close
Hashes for clingcon-5.2.0-pp37-pypy37_pp73-manylinux_2_17_aarch64.manylinux2014_aarch64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 2d704d77c76ba2ef2ecb498e0ab3e60a7452a150bcda1289218abfb9db0195bd |
|
MD5 | 0f2066a0a92ffc55a65264adfb6b7599 |
|
BLAKE2b-256 | fbf6c93ad0857e57f9f4a9a8e26c92feea690b45e6e81d0b750387b9fed16ade |
Close
Hashes for clingcon-5.2.0-cp311-cp311-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | f440d5da19c337b3e492ae9ce89a78f1cf19fd24480d13af26339a4d4d66ee7a |
|
MD5 | 90ede506e6faa164259bc66a72c12961 |
|
BLAKE2b-256 | a184ee6b960d951a70959ffaa550563289506dc621c5ac218a78c6e1cec87f82 |
Close
Hashes for clingcon-5.2.0-cp311-cp311-manylinux_2_17_aarch64.manylinux2014_aarch64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | c2151bd810da9c622cf9172f783c928fff1f0d13306f05b182cacc74db0b6a8b |
|
MD5 | 2d5c6f1de95b9f15334a4aa38b36613f |
|
BLAKE2b-256 | 3ea124f691779626211b9900d1bc2f421e4ecf93a70ff312dad9845b9f05bf69 |
Close
Hashes for clingcon-5.2.0-cp310-cp310-win_amd64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | f9587b64b1d9cbfa93e7cbc129375242d206726fd8cc35c64acbb5422cb1525c |
|
MD5 | ce4385a37cbfc5899d352ef8322f7e99 |
|
BLAKE2b-256 | 7c728c1fd843070a8534a6b88e8235e28f1fffcc5f57469b440cd46f65bbcd98 |
Close
Hashes for clingcon-5.2.0-cp310-cp310-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 110656323b7f04f4a9bca9652097b459387ddda2786a1d0f1d8b51aa289c0789 |
|
MD5 | 431fd19923bb94820c52a83128ff82b2 |
|
BLAKE2b-256 | d11a42614c00d2137dc152c85b1b3f032d4cbcfcd473322e5586b6523a54c2fa |
Close
Hashes for clingcon-5.2.0-cp310-cp310-manylinux_2_17_aarch64.manylinux2014_aarch64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | a2bc22d836e559dbae2dd49982aa57a0f827ebbd4497d256867d7066adbbf178 |
|
MD5 | b69233e4cc3ab3e09ff60860edc164cc |
|
BLAKE2b-256 | 31d017a8a562fc673faae0c0fe50c6c379e338572ef3048207c5717e4aad5f68 |
Close
Hashes for clingcon-5.2.0-cp310-cp310-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 9c528441f61311e707e023692441cf71cc0c6465c492983198709890cc7fa52e |
|
MD5 | 4b066a594865b53ddde7d8835442d615 |
|
BLAKE2b-256 | 3d876261f9215f29edb65d6353569028b3c544ce907802ee8b99a0952f54e76e |
Close
Hashes for clingcon-5.2.0-cp39-cp39-win_amd64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 67ec189e67a3f72bc6921401bf95034fe5ca80a86974a1268972012391c2d736 |
|
MD5 | 848d90c36bd8021a1c4e36ca4349d4b3 |
|
BLAKE2b-256 | 9800f65cf9c88ec1b1eae9865ee997dfc5c33f856e2c74977ef60917df8e0684 |
Close
Hashes for clingcon-5.2.0-cp39-cp39-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 4f2f949a3669da072c4df89bffff86117e0e72abba457a94b46f3ebb458c3a6f |
|
MD5 | c2744a3c1632cbfb6b49be2fa69756c6 |
|
BLAKE2b-256 | 58ff7c3f8e73aa41cb60b328e6a92517ad93404d3ebad45917782e804fb8b67b |
Close
Hashes for clingcon-5.2.0-cp39-cp39-manylinux_2_17_aarch64.manylinux2014_aarch64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | f2add0821274a8a7b5736ef6e407ecbd5c6ef19c3733e9ecebb0c9b17586dd36 |
|
MD5 | b2579134614f9fdd67b78c036eb877f8 |
|
BLAKE2b-256 | ae2387bf54c9aa331f95056add38ab13319db2f0ef526941b54373513ea3bafa |
Close
Hashes for clingcon-5.2.0-cp39-cp39-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 9bb1fc426be42e7b7ede0e026e5d38780391ec3664f73149970302a7df8a9b27 |
|
MD5 | 2235edf700f7e70d8899499502794dfb |
|
BLAKE2b-256 | 26258a19fd4a194c0d5e0ae3fcc8e4b6ab20c4835506c62fa421b15daf4f044d |
Close
Hashes for clingcon-5.2.0-cp38-cp38-win_amd64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | e0f64f4efac704c6f893e3ad91801d660771c833c8e2412d40389eb20f875656 |
|
MD5 | aab42d7fd049f9aa26bfaa4114ed3ef5 |
|
BLAKE2b-256 | 3c77cbaf17c601c5764108888295116b0668445878cb4625be823e8949cd8e40 |
Close
Hashes for clingcon-5.2.0-cp38-cp38-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 27324b1581966b8647563967a374fc37040d81bb4f3db236a31bd7f2b39f0290 |
|
MD5 | d2330b49174035b1fab647f344eb140b |
|
BLAKE2b-256 | 96426628d401894740eaeda3ed5889f2615f2de1a743889fa6a71fce976d13bf |
Close
Hashes for clingcon-5.2.0-cp38-cp38-manylinux_2_17_aarch64.manylinux2014_aarch64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 6cbcc89ae16d5db00e518770a6b40f409a8621c839df34f17363bdcfa2502d2f |
|
MD5 | 5318558fa5371f1a5383db125819f9cd |
|
BLAKE2b-256 | ce384a2303da2187efff15b9ee18440ea58576d6b93a90426a419df2f8920c3a |
Close
Hashes for clingcon-5.2.0-cp38-cp38-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | d5f29faa104faaf1e7d25115c9e47636663b23cf153e9531d5d5a919cd791bbe |
|
MD5 | 3fe861239acf46a6897bb26870c7fb9f |
|
BLAKE2b-256 | 2023ec69895870870006fa61223734f68ee6d9cb876362455b9aead3ef7e1fc6 |
Close
Hashes for clingcon-5.2.0-cp37-cp37m-win_amd64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 70f943f05a85d6cacdc7706b5aa86fbb64d0d40eead16476c87d6698af64042a |
|
MD5 | fd451d011f8966e7aac29aed2c62f67a |
|
BLAKE2b-256 | 7fedbbda5c9c1279edaccd3dd1fa6ca3a52edf64c9ac796a53be1780c973c6ed |
Close
Hashes for clingcon-5.2.0-cp37-cp37m-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 38e9818095d4b872fc307b129b0adccc8f77bc4f0f13ff5b7546cfb8e18f7193 |
|
MD5 | 7548764aefa7af7ec0b8f57b45b6fa10 |
|
BLAKE2b-256 | d70ebefd6a24744f15d368220e558ff457e82674525468c2a05454832946341c |
Close
Hashes for clingcon-5.2.0-cp37-cp37m-manylinux_2_17_aarch64.manylinux2014_aarch64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 171b142c5f165c208dfd4df67a7e8ea28713b03f5cd603afe167ffb0c22bcbf6 |
|
MD5 | be7ee35bf4a02774bc96d0c96a206404 |
|
BLAKE2b-256 | 3eb4f38d2c321adda481277c4a8d62de8cf02806d4cf610c9ee72c8810d1771c |
Close
Hashes for clingcon-5.2.0-cp37-cp37m-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 16cb5e4a815eedfefb67ad15207ae36db67b73d831ce006031806972f7855290 |
|
MD5 | 13dd7446aa01b017b940e8a49d7ef802 |
|
BLAKE2b-256 | f305e33d7c6b37e955d5150581eaf070dc83f5de04ff0fad14a63cd5f2f8b5e0 |
Close
Hashes for clingcon-5.2.0-cp36-cp36m-win_amd64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | fe6cb80ec46b86adc95801e9c21370c48943e24246eea57a7f8cf20a3c7e6858 |
|
MD5 | bf8f305794e1431202566eba01bc8ecb |
|
BLAKE2b-256 | cb5e79948c6595410dca7eda583a6893c88c894ed8ceaf4dd69d97b070a02a16 |
Close
Hashes for clingcon-5.2.0-cp36-cp36m-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 7ec3460295603be5196a84b3bea02558b9dc32cb6639ad92198d04aca54c47b4 |
|
MD5 | 5c1cef59dd820e51e5d3bb7ed6d05617 |
|
BLAKE2b-256 | 1435e5cbc014609a88a5d3df759473bbb6ef20db25420fc5bb5da163353d94ec |
Close
Hashes for clingcon-5.2.0-cp36-cp36m-manylinux_2_17_aarch64.manylinux2014_aarch64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 9150dd4bdcf6d99eac7639cd5c1dc62ff6a1b766a8b70000efbee1c4fc465003 |
|
MD5 | e025f8040752b7f33c65cb05539b60fd |
|
BLAKE2b-256 | be3ee87ffc39956e65cb47b02d9823ab64f501ee8e7d5e3fc3086161254f8ebb |
Close
Hashes for clingcon-5.2.0-cp36-cp36m-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 74e567683b813ad201c2afeea03c963c55022997f2130a1b232f1ee3fcde619d |
|
MD5 | ba17dab3794bb4354becfebb3b186fe1 |
|
BLAKE2b-256 | eefe24197e1d9429e5105045eefc08aaaab04dccc924fb3dbaf0db1c04fe5748 |