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.0.0.tar.gz
(204.7 kB
view hashes)
Built Distributions
Close
Hashes for clingcon-5.0.0-cp39-cp39-win_amd64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 41795f6c8165a3b38e9dc548c080244df9a3f7487c0fb464e8a2a9c7530eec70 |
|
MD5 | 32906b9984ff59dba15e6b2591c8bfba |
|
BLAKE2b-256 | 928297dc6d84820ad0203b3cfbd996faa44d4010a14903d9851e884c97ed2f5e |
Close
Hashes for clingcon-5.0.0-cp39-cp39-manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | c6e8f5fd77f2cbb69858967a51c8adfbc426898b997c8c6aa9af54cdd689cc3a |
|
MD5 | a4f58a9b9abbdeb1d2930032ce6defca |
|
BLAKE2b-256 | a4450f0eccb74c7ae342848fc21c724a91bd1a91b5eb4222e82be176587546df |
Close
Hashes for clingcon-5.0.0-cp39-cp39-manylinux2014_aarch64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | d3559321a7e21c52800228cf5e4ab644bf4d0d3b243a5441adb1fb5fa50104c5 |
|
MD5 | ba8365f0779313965173f61966ed47b2 |
|
BLAKE2b-256 | 9f85b6528f59cfcb4b358e402435968f18b07a6e7129e1882b910ef70761c001 |
Close
Hashes for clingcon-5.0.0-cp39-cp39-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 1f81c36b014dd450da30438476dd5c697301e97792f6cd5ab06bccd14df00596 |
|
MD5 | 8047821a6a38537cd42a34adf7c09c70 |
|
BLAKE2b-256 | c09e31cabd2d2711fe4626522c15dbc382505bb47224ea1f9f9ca6ee0e2888ea |
Close
Hashes for clingcon-5.0.0-cp38-cp38-win_amd64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 1583908db3b5530052be294ded29fcce005ae13aa49801f81f75435fa207b776 |
|
MD5 | e78dfc323135cf8b758a823d03b29ce3 |
|
BLAKE2b-256 | 9efc0fc713667f9a575470db00d33a57c8913b3d318e0ffb7de09b2f3734392d |
Close
Hashes for clingcon-5.0.0-cp38-cp38-manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 9dfb675dea3fc58356ea7bb80cdaa342bdb3112f44675c56e5cbd9b0d06c061f |
|
MD5 | 1c8484ecb7eb91af81bb466ac913ac98 |
|
BLAKE2b-256 | 7dd1aa210a6bc422a4e7e0a4327371ffa4ea6ae43697adeef052f06d4adafb64 |
Close
Hashes for clingcon-5.0.0-cp38-cp38-manylinux2014_aarch64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 2c57f059d3b2a5c32e18a01855df13526fb0164bb6fe6c21ab4d3552850ba26f |
|
MD5 | c438e3e2d200658ca8d1933db2d5b2ff |
|
BLAKE2b-256 | a76eb1bcfe7c3502c2258c13979dced743713c70724fc35be9c8552a0dcdcafe |
Close
Hashes for clingcon-5.0.0-cp38-cp38-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | cca7acaa1ec72427f20d7fd5e7622200c15c6ac4d5ac039b9068e05b894f4d5e |
|
MD5 | bc684070bc15157ea619875506d1ffb7 |
|
BLAKE2b-256 | 72a40f310d6377aa3a02157a01ecc4408368e8a56692b46a80ce300b35ad3837 |
Close
Hashes for clingcon-5.0.0-cp37-cp37m-win_amd64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 6f00ba8b6aab5cbb74f085507e53d6fb2c43f0152562ddc2a125b720d50b2b35 |
|
MD5 | 0434fdac2688c2d59f706e8d09c48aeb |
|
BLAKE2b-256 | 4c4a04c8b2526caf0a700da8ecfe0bb381f34412a1eb1581492ed2fad2423ec9 |
Close
Hashes for clingcon-5.0.0-cp37-cp37m-manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 40d8028498c2757159e90f8077d6c1d7bf8b71638b126ac591a7bfe827298b31 |
|
MD5 | 2c164e67d0e8adc655e75d2bdbb9a271 |
|
BLAKE2b-256 | 1ee4a7476f8a7ccd71b418557108e9dfde195b36d8796790e107cbc4e98c0043 |
Close
Hashes for clingcon-5.0.0-cp37-cp37m-manylinux2014_aarch64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | b08b6453df8326d6c43e43b6cdbfc15b0dd60c94d112df852942e8429bac8bef |
|
MD5 | 9e895c286e195aa4a5311f62ae1b7256 |
|
BLAKE2b-256 | 4c5d913407c0561c12071a1b19b04980097ddb73ff7a87d4afa42c747a3002c3 |
Close
Hashes for clingcon-5.0.0-cp37-cp37m-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 45b1c92a0fb4b52bdc787fbaae540f741640c25ba349f32074776b92524b1606 |
|
MD5 | c93f4d0208a0f5966c84b53e2e46659c |
|
BLAKE2b-256 | c4479e50039e862226c3f5ff8d472d55d52a02091c01b5383e2d863c26d20312 |
Close
Hashes for clingcon-5.0.0-cp36-cp36m-win_amd64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 400b3091e15d85cf0aae04bf9135bd7f776e6cedb14ca5956b0fb94498f5cbcf |
|
MD5 | d5e5b632b376a6bddf1eaa6569017be6 |
|
BLAKE2b-256 | f222c2d6c5a2284766d75faa66e9ee65aea22de1dfa1ae406ab7ed67ccf486ca |
Close
Hashes for clingcon-5.0.0-cp36-cp36m-manylinux2014_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | d5d65989e439b36af6469781ed5b16ffe4f48dd52d3d8ac9f805d759475acf48 |
|
MD5 | 4f19389ba138ef706b38fdc0ac24be21 |
|
BLAKE2b-256 | a2186a60da2ef69cb37de7a3355abb780da51df920fdf17a03f6bc08458ea0b7 |
Close
Hashes for clingcon-5.0.0-cp36-cp36m-manylinux2014_aarch64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | b7ed0165e4c60f02ec019e446ee529ef0c43db28522c3508d153b61ea31bab33 |
|
MD5 | 1fb8cc4a7d44d30ef623e28f7fdf099c |
|
BLAKE2b-256 | 908d5a9c87c93ba393ef48fbbeab90562515a501880dbe2d1877b9917d6340a6 |
Close
Hashes for clingcon-5.0.0-cp36-cp36m-macosx_10_9_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 806a06a8a385c51469c45495c197b88742850b3279f865a60f21168076724f18 |
|
MD5 | baeaab091362f23df3852a25e6f65935 |
|
BLAKE2b-256 | 118dda364e7ef0e06d9f70fd75e82945545cf457bd3dc1d5cfdf491509627c4f |