clingo-lpx

CFFI-based bindings to the clingo-lpx solver.

Project description

This package allows for adding the clingo-lpx propagator as a theory to clingo.

It can also be used as a clingo-lpx solver running:

python -m clingolpx CLINGOLPX_ARGUMENTS

Project details

Release history Release notifications | RSS feed

1.3.0.post1

Feb 16, 2024

1.3.0

Feb 15, 2024

This version

1.2.0

Sep 11, 2022

1.1.0

Nov 16, 2021

Download files

Download the file for your platform. If you're not sure which to choose, learn more about installing packages.

Source Distribution

clingo-lpx-1.2.0.tar.gz (1.7 MB view hashes)

Uploaded Sep 11, 2022 Source

Built Distributions

clingo_lpx-1.2.0-pp39-pypy39_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (198.9 kB view hashes)

Uploaded Sep 11, 2022 PyPy manylinux: glibc 2.17+ x86-64

clingo_lpx-1.2.0-pp38-pypy38_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (198.9 kB view hashes)

Uploaded Sep 11, 2022 PyPy manylinux: glibc 2.17+ x86-64

clingo_lpx-1.2.0-pp37-pypy37_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (198.9 kB view hashes)

Uploaded Sep 11, 2022 PyPy manylinux: glibc 2.17+ x86-64

clingo_lpx-1.2.0-cp311-cp311-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (203.1 kB view hashes)

Uploaded Sep 11, 2022 CPython 3.11 manylinux: glibc 2.17+ x86-64

clingo_lpx-1.2.0-cp310-cp310-win_amd64.whl (102.4 kB view hashes)

Uploaded Sep 11, 2022 CPython 3.10 Windows x86-64

clingo_lpx-1.2.0-cp310-cp310-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (203.1 kB view hashes)

Uploaded Sep 11, 2022 CPython 3.10 manylinux: glibc 2.17+ x86-64

clingo_lpx-1.2.0-cp310-cp310-macosx_10_9_x86_64.whl (143.5 kB view hashes)

Uploaded Sep 11, 2022 CPython 3.10 macOS 10.9+ x86-64

clingo_lpx-1.2.0-cp39-cp39-win_amd64.whl (102.4 kB view hashes)

Uploaded Sep 11, 2022 CPython 3.9 Windows x86-64

clingo_lpx-1.2.0-cp39-cp39-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (203.1 kB view hashes)

Uploaded Sep 11, 2022 CPython 3.9 manylinux: glibc 2.17+ x86-64

clingo_lpx-1.2.0-cp39-cp39-macosx_10_9_x86_64.whl (143.5 kB view hashes)

Uploaded Sep 11, 2022 CPython 3.9 macOS 10.9+ x86-64

clingo_lpx-1.2.0-cp38-cp38-win_amd64.whl (102.4 kB view hashes)

Uploaded Sep 11, 2022 CPython 3.8 Windows x86-64

clingo_lpx-1.2.0-cp38-cp38-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (203.1 kB view hashes)

Uploaded Sep 11, 2022 CPython 3.8 manylinux: glibc 2.17+ x86-64

clingo_lpx-1.2.0-cp38-cp38-macosx_10_9_x86_64.whl (143.5 kB view hashes)

Uploaded Sep 11, 2022 CPython 3.8 macOS 10.9+ x86-64

clingo_lpx-1.2.0-cp37-cp37m-win_amd64.whl (102.4 kB view hashes)

Uploaded Sep 11, 2022 CPython 3.7m Windows x86-64

clingo_lpx-1.2.0-cp37-cp37m-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (203.1 kB view hashes)

Uploaded Sep 11, 2022 CPython 3.7m manylinux: glibc 2.17+ x86-64

clingo_lpx-1.2.0-cp37-cp37m-macosx_10_9_x86_64.whl (143.5 kB view hashes)

Uploaded Sep 11, 2022 CPython 3.7m macOS 10.9+ x86-64

clingo_lpx-1.2.0-cp36-cp36m-win_amd64.whl (102.4 kB view hashes)

Uploaded Sep 11, 2022 CPython 3.6m Windows x86-64

clingo_lpx-1.2.0-cp36-cp36m-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (203.1 kB view hashes)

Uploaded Sep 11, 2022 CPython 3.6m manylinux: glibc 2.17+ x86-64

clingo_lpx-1.2.0-cp36-cp36m-macosx_10_9_x86_64.whl (143.5 kB view hashes)

Uploaded Sep 11, 2022 CPython 3.6m macOS 10.9+ x86-64

Hashes for clingo-lpx-1.2.0.tar.gz

Hashes for clingo-lpx-1.2.0.tar.gz
Algorithm	Hash digest
SHA256	`ba08e2946ceae5c41a1981fc7d6c31bc156115850a70e47a4742e1bd03d316ac`
MD5	`7915b47fd7e9e73bd1e709e144fede10`
BLAKE2b-256	`3d00eb11779b708b72d1e4692f81f3c969b619bec95fcefc58295234e624d0f1`

Hashes for clingo_lpx-1.2.0-pp39-pypy39_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl

Hashes for clingo_lpx-1.2.0-pp39-pypy39_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm	Hash digest
SHA256	`8ae494eba2acc2e209fb09f8babd40bb4b8023195b668ea850af5186ed1096cf`
MD5	`3d45b2b410832a31f89de08ed1a3dc53`
BLAKE2b-256	`6a6156f75b22c0b2f2d78f78f149c7fc6df059f98cc28227d459871890c82531`

Hashes for clingo_lpx-1.2.0-pp38-pypy38_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl

Hashes for clingo_lpx-1.2.0-pp38-pypy38_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm	Hash digest
SHA256	`e50b7753ec994073cee14fc67358e6921cb6949f7b5ae6f00a8d40d7e54909aa`
MD5	`0af970455d00a897e0cc4d49f96592c5`
BLAKE2b-256	`edf6ad536f7d230f5664b473ff15d0931b1b8ac018865cc7299784f64f2fdb81`

Hashes for clingo_lpx-1.2.0-pp37-pypy37_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl

Hashes for clingo_lpx-1.2.0-pp37-pypy37_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm	Hash digest
SHA256	`daad1a1f2df5acb8599a5b5318925db370c3a2d1f5bec7c8242cad1ecea80542`
MD5	`30ba39f4ff208c7cccd5dfbec2eff132`
BLAKE2b-256	`300f9eafcde16bc578eced203c97ed776744da1883fc0806aa598c53071677c9`

Hashes for clingo_lpx-1.2.0-cp311-cp311-manylinux_2_17_x86_64.manylinux2014_x86_64.whl

Hashes for clingo_lpx-1.2.0-cp311-cp311-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm	Hash digest
SHA256	`f61dbae07a09d602c0da213786ac7fc9e72920a91b3a7730fb7232ca79575fc9`
MD5	`dd70fdf819890d261f99273f94b4471a`
BLAKE2b-256	`6e344fb5681e599aafd8ebd838f4725b431aed8647b2a6212c47b7332f1f5f50`

Hashes for clingo_lpx-1.2.0-cp310-cp310-win_amd64.whl

Hashes for clingo_lpx-1.2.0-cp310-cp310-win_amd64.whl
Algorithm	Hash digest
SHA256	`80bafea23a91b66f0fc2c947c3df10c849788f88755d9e5141d0fe05b0c1f2d8`
MD5	`9b92aed4cbb6b742dafd60014eee05af`
BLAKE2b-256	`82bca763640212d7c7b0ca98408f25af8a60941150f2aaf84e2ddaf17d45f837`

Hashes for clingo_lpx-1.2.0-cp310-cp310-manylinux_2_17_x86_64.manylinux2014_x86_64.whl

Hashes for clingo_lpx-1.2.0-cp310-cp310-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm	Hash digest
SHA256	`ebc202c22240bfd0e6a7b76fbb0dca07e11545bff1ceab71d4d481546776d426`
MD5	`b60df31ee8c880c41186da33f8fb8ce3`
BLAKE2b-256	`ed48de30f026f31169bf12d73d651826efebb0218c6462854a4967e13113fd4c`

Hashes for clingo_lpx-1.2.0-cp310-cp310-macosx_10_9_x86_64.whl

Hashes for clingo_lpx-1.2.0-cp310-cp310-macosx_10_9_x86_64.whl
Algorithm	Hash digest
SHA256	`a601a112725d73290868de6fea8ccc0757df482adc454e1935f7797296d051f6`
MD5	`14c780c15903ebe497a0394226a2e0ff`
BLAKE2b-256	`0e2eee18a0137c074782aff135fa645526199ffa3921c03802a2fcfebdd794f8`

Hashes for clingo_lpx-1.2.0-cp39-cp39-win_amd64.whl

Hashes for clingo_lpx-1.2.0-cp39-cp39-win_amd64.whl
Algorithm	Hash digest
SHA256	`24c1943a4a371370cdc0cecd1411c6babb0e92c6e8eab9be4c90bc45619aaeb4`
MD5	`27c93b0e1ac4f001d76500b33d75bd6a`
BLAKE2b-256	`954ad41fd7d0a5cff70083d9335178d9b003a5871982d6fbfffb6b1ed562b42a`

Hashes for clingo_lpx-1.2.0-cp39-cp39-manylinux_2_17_x86_64.manylinux2014_x86_64.whl

Hashes for clingo_lpx-1.2.0-cp39-cp39-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm	Hash digest
SHA256	`5907e85239ccc651497a0de84bdda202cf363252ecd3b3ab23be010ede9405d0`
MD5	`15431c0b3b3c6661e40a4d6af5f6283a`
BLAKE2b-256	`729db5e1d282057fefe959c89a9803d35dac2356e27d7c06086704176e091adb`

Hashes for clingo_lpx-1.2.0-cp39-cp39-macosx_10_9_x86_64.whl

Hashes for clingo_lpx-1.2.0-cp39-cp39-macosx_10_9_x86_64.whl
Algorithm	Hash digest
SHA256	`604e7b685ea316cc6659d1045a070635e5c9cf16900b25ff97b3199a4a4287d2`
MD5	`31a37b5fedccce8f11501e68793fcbf2`
BLAKE2b-256	`53b94a66e133aa56ac0c539318c43e750449696c7a5ace9e2d3c80ef10c8e04b`

Hashes for clingo_lpx-1.2.0-cp38-cp38-win_amd64.whl

Hashes for clingo_lpx-1.2.0-cp38-cp38-win_amd64.whl
Algorithm	Hash digest
SHA256	`34eea2cd950673f660fb79945f9de25661e2f2de3767577e222a9ad725cbc880`
MD5	`4996d72f8921b483a17a1de78759f37d`
BLAKE2b-256	`830e9899caa7eed36ff32724aed39b9960fd0de2d159feb5e12abc0ffe7bc6f0`

Hashes for clingo_lpx-1.2.0-cp38-cp38-manylinux_2_17_x86_64.manylinux2014_x86_64.whl

Hashes for clingo_lpx-1.2.0-cp38-cp38-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm	Hash digest
SHA256	`baddead04d9e33dc55d9b9973a4d374b38391564443c5599ffcc1b2a9d824923`
MD5	`047fa7e79383feea05051a64fd4867f7`
BLAKE2b-256	`b454ee0525ee3d87592b33c561c935a7a06abbfe0895abb8d1c90d5c005fd71f`

Hashes for clingo_lpx-1.2.0-cp38-cp38-macosx_10_9_x86_64.whl

Hashes for clingo_lpx-1.2.0-cp38-cp38-macosx_10_9_x86_64.whl
Algorithm	Hash digest
SHA256	`3e2ab4ec7a0467f1e23700e0bde5cb1084eb9bcb863023810527ccb7156a6128`
MD5	`1f06462b479c530d6a549a73f438c5ee`
BLAKE2b-256	`a7afcd59fa4f94c19ec923b4004bc9a0c5bc0fe935320c7d1678a4de6ef2337e`

Hashes for clingo_lpx-1.2.0-cp37-cp37m-win_amd64.whl

Hashes for clingo_lpx-1.2.0-cp37-cp37m-win_amd64.whl
Algorithm	Hash digest
SHA256	`6943f915244eadabe9aa1e52ce97c29374c6f8e67aa41eaecb54eaed750f3ace`
MD5	`d0b2ff51385c1cde8347e4c89ffbae77`
BLAKE2b-256	`59203f1d5a23ee7b2acb24c697771c20b294f3ff602b617b47d063949c33e867`

Hashes for clingo_lpx-1.2.0-cp37-cp37m-manylinux_2_17_x86_64.manylinux2014_x86_64.whl

Hashes for clingo_lpx-1.2.0-cp37-cp37m-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm	Hash digest
SHA256	`bb136c8b6400a1dddfb383cf717938cdabfbf3922a325c0bd643efb1a88fb174`
MD5	`7efe10b5fdc10914d46fa785cb4fda55`
BLAKE2b-256	`23c374adee37fa261bf11b15065701c388af3c7d56e3a4982e4641314dce8144`

Hashes for clingo_lpx-1.2.0-cp37-cp37m-macosx_10_9_x86_64.whl

Hashes for clingo_lpx-1.2.0-cp37-cp37m-macosx_10_9_x86_64.whl
Algorithm	Hash digest
SHA256	`21b5a4f006fc0ab22899f761d435396ebc214b1f529c30a814a70a162ad735af`
MD5	`2bd8803cb3874d928a323ac8ad67a7b9`
BLAKE2b-256	`bfbb67b02c55f0baa500b6277a39491bd82c99cf3754fe8da866063c61e91809`

Hashes for clingo_lpx-1.2.0-cp36-cp36m-win_amd64.whl

Hashes for clingo_lpx-1.2.0-cp36-cp36m-win_amd64.whl
Algorithm	Hash digest
SHA256	`7c1d819a095c4a21d968dd05475401b32194dbf56a43ba3f53b25f9012c7a9da`
MD5	`206d9b995189adc9e37a02dd50d58905`
BLAKE2b-256	`71f6edc8acd94e37fde11ebf7b2fda26a22fc00a9844acf5a924205b1415af75`

Hashes for clingo_lpx-1.2.0-cp36-cp36m-manylinux_2_17_x86_64.manylinux2014_x86_64.whl

Hashes for clingo_lpx-1.2.0-cp36-cp36m-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm	Hash digest
SHA256	`0f13bf54cd324bd2259c93e27bedfb09da5bb4db1483cc348d9e2ab77392a6c5`
MD5	`c866aab534c5dc49260e0d54c5715b62`
BLAKE2b-256	`7480a06a1211a6630ed568cbfcfc8e3d286a5b274dcfd8591c574237a283a8a6`

Hashes for clingo_lpx-1.2.0-cp36-cp36m-macosx_10_9_x86_64.whl

Hashes for clingo_lpx-1.2.0-cp36-cp36m-macosx_10_9_x86_64.whl
Algorithm	Hash digest
SHA256	`c940dc4f3beff8067bbe6450487c609aa0edfbd05c84a6d7523d4eb36bd74efd`
MD5	`659f09a9fccca39671601dd71769e9b9`
BLAKE2b-256	`c746880c1fbeabfb94ef89d11c8f69a73b24c82f00564dd1c9db4d4ab5314628`