clingo-lpx

CFFI-based bindings to the clingo-lpx solver.

These details have not been verified by PyPI

Project links

Homepage

GitHub Statistics

View statistics for this project via Libraries.io, or by using our public dataset on Google BigQuery

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

These details have not been verified by PyPI

Project links

Homepage

GitHub Statistics

View statistics for this project via Libraries.io, or by using our public dataset on Google BigQuery

Release history Release notifications | RSS feed

1.3.0.post1

Feb 16, 2024

1.3.0

Feb 15, 2024

1.2.0

Sep 11, 2022

This version

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.1.0.tar.gz (164.4 kB view hashes)

Uploaded Nov 16, 2021 Source

Built Distributions

clingo_lpx-1.1.0-pp38-pypy38_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (196.5 kB view hashes)

Uploaded Nov 16, 2021 PyPy manylinux: glibc 2.17+ x86-64

clingo_lpx-1.1.0-pp37-pypy37_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (196.5 kB view hashes)

Uploaded Nov 16, 2021 PyPy manylinux: glibc 2.17+ x86-64

clingo_lpx-1.1.0-cp310-cp310-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (201.0 kB view hashes)

Uploaded Nov 16, 2021 CPython 3.10 manylinux: glibc 2.17+ x86-64

clingo_lpx-1.1.0-cp39-cp39-win_amd64.whl (104.0 kB view hashes)

Uploaded Nov 16, 2021 CPython 3.9 Windows x86-64

clingo_lpx-1.1.0-cp39-cp39-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (200.9 kB view hashes)

Uploaded Nov 16, 2021 CPython 3.9 manylinux: glibc 2.17+ x86-64

clingo_lpx-1.1.0-cp39-cp39-macosx_10_9_x86_64.whl (136.1 kB view hashes)

Uploaded Nov 16, 2021 CPython 3.9 macOS 10.9+ x86-64

clingo_lpx-1.1.0-cp38-cp38-win_amd64.whl (104.0 kB view hashes)

Uploaded Nov 16, 2021 CPython 3.8 Windows x86-64

clingo_lpx-1.1.0-cp38-cp38-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (201.0 kB view hashes)

Uploaded Nov 16, 2021 CPython 3.8 manylinux: glibc 2.17+ x86-64

clingo_lpx-1.1.0-cp38-cp38-macosx_10_9_x86_64.whl (136.1 kB view hashes)

Uploaded Nov 16, 2021 CPython 3.8 macOS 10.9+ x86-64

clingo_lpx-1.1.0-cp37-cp37m-win_amd64.whl (104.0 kB view hashes)

Uploaded Nov 16, 2021 CPython 3.7m Windows x86-64

clingo_lpx-1.1.0-cp37-cp37m-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (201.0 kB view hashes)

Uploaded Nov 16, 2021 CPython 3.7m manylinux: glibc 2.17+ x86-64

clingo_lpx-1.1.0-cp37-cp37m-macosx_10_9_x86_64.whl (136.1 kB view hashes)

Uploaded Nov 16, 2021 CPython 3.7m macOS 10.9+ x86-64

clingo_lpx-1.1.0-cp36-cp36m-win_amd64.whl (104.0 kB view hashes)

Uploaded Nov 16, 2021 CPython 3.6m Windows x86-64

clingo_lpx-1.1.0-cp36-cp36m-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (201.0 kB view hashes)

Uploaded Nov 16, 2021 CPython 3.6m manylinux: glibc 2.17+ x86-64

clingo_lpx-1.1.0-cp36-cp36m-macosx_10_9_x86_64.whl (136.1 kB view hashes)

Uploaded Nov 16, 2021 CPython 3.6m macOS 10.9+ x86-64

Hashes for clingo-lpx-1.1.0.tar.gz

Hashes for clingo-lpx-1.1.0.tar.gz
Algorithm	Hash digest
SHA256	`7946dd4924b5f9b7c6413d7c8930c34e44075b677f08c7e842634f1b1bf2c31e`
MD5	`a55e25efaf682acfcfe3ba9cb8bfce39`
BLAKE2b-256	`e63ee24f6ca1a2ac470b7aff193215b837631f4f313e6afb0e3a1d318019bbea`

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

Hashes for clingo_lpx-1.1.0-pp38-pypy38_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm	Hash digest
SHA256	`e4a07444497dda9bf3cea340aea6dbbc234d960ae3ebdb7fbbcf59b637c56801`
MD5	`3dbea1017a28b1b1f63afbc3591e61e2`
BLAKE2b-256	`718d0aeb3ec8707b9d52737868b244687af9997b910ef7a613393b2b9d424b02`

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

Hashes for clingo_lpx-1.1.0-pp37-pypy37_pp73-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm	Hash digest
SHA256	`f4f2478c8793cbabd400eb8e93ce06b0e326e00b238cbcac1e4fb4431441935b`
MD5	`579d084cc0b8d1b5186630ae190219e2`
BLAKE2b-256	`d1912130978729ce83b58224f3f1df6b16f1a135adaf40bf5d8119504b573f57`

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

Hashes for clingo_lpx-1.1.0-cp310-cp310-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm	Hash digest
SHA256	`963a6d8a257c7c5e04f6f7709a645f6b120cb48e98b0ae5b0d7fc5338a3ff787`
MD5	`389bb75948b73af483d70088366748f1`
BLAKE2b-256	`56653c994c0f5525ba406c6b939ca14057643273eecc19614902e494639afa37`

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

Hashes for clingo_lpx-1.1.0-cp39-cp39-win_amd64.whl
Algorithm	Hash digest
SHA256	`f81f44ca3e7be6e72a3b5d77030fab2e26b3721dfa9aa15b3c7328c9ba0a4be5`
MD5	`9650df4cda40c79c10f433a6c4b6e591`
BLAKE2b-256	`c6f3725d7edfe749f74208895738f679f89c53bddfb706f1e7bc555c67862d53`

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

Hashes for clingo_lpx-1.1.0-cp39-cp39-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm	Hash digest
SHA256	`11b6389d25dd4db229137a8d975a196d6aeeb25388898c812a956711d4f205da`
MD5	`8933de88b16c97ef10dfa3fd3c23237e`
BLAKE2b-256	`c60a32d68f1565fd2f0bdae5e2128788da9c4d4f1f8fc3d820e1fa3d87a5f85e`

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

Hashes for clingo_lpx-1.1.0-cp39-cp39-macosx_10_9_x86_64.whl
Algorithm	Hash digest
SHA256	`2c05b416cd304c3918843fd11dc54917b0ba251fe7ae54be50523d11475149e6`
MD5	`bacd0add2ff18f564ac1da31ce59bdff`
BLAKE2b-256	`c313032183d691437a33ea008a6d9ae7322145c054d9c7e1b02c4aae08940835`

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

Hashes for clingo_lpx-1.1.0-cp38-cp38-win_amd64.whl
Algorithm	Hash digest
SHA256	`20e5cbd8cc0d994d737e4adad4fea9cfecd3b1956b96a42f0f763cafb834a1e5`
MD5	`d188bd0b2c7f3478a38b98f7237cf432`
BLAKE2b-256	`ca29897fc57f4bd113e5b9c3d5339b4c3a094f6e65dcb8b37bb215c7b64441e6`

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

Hashes for clingo_lpx-1.1.0-cp38-cp38-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm	Hash digest
SHA256	`9b1d6432d35a2b4d4c5d524b1e01be1c134f7731b9b2aa65edb32416ee6875e2`
MD5	`0e927eba4d2cbaab8b472b999e0d5ace`
BLAKE2b-256	`fb175fa8397b0ea3c69c3bb8587f5e6eb58842d893aa28361a1c5b472f5cd2f7`

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

Hashes for clingo_lpx-1.1.0-cp38-cp38-macosx_10_9_x86_64.whl
Algorithm	Hash digest
SHA256	`4c3b9f761ce2f8b2438d492049f3562bfdd27bd9ffeb6d7e50ada5fd90680130`
MD5	`61eba6c0c9c75fd786c9e82284de25d5`
BLAKE2b-256	`b4f397961637580bbf7d5279c5e0358c7185b06404627da785ad2cb7d2ae7369`

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

Hashes for clingo_lpx-1.1.0-cp37-cp37m-win_amd64.whl
Algorithm	Hash digest
SHA256	`3be1961a85842f68d3329ebfca456fb6a9e6ac4db62c2233ede16bb98964ee00`
MD5	`4ed5e86cdfad4094598f2af619bd7ace`
BLAKE2b-256	`21ca13262eac3031ee3884a9f5f2eac661b8e4813254cbc4d798b3fb6f24dd5e`

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

Hashes for clingo_lpx-1.1.0-cp37-cp37m-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm	Hash digest
SHA256	`4498b4102c5313a75f86df554141fb7d4745dbc270faf7cdb8ef562e976daa41`
MD5	`03077a8ea47ee62ab0eb56d676a5553e`
BLAKE2b-256	`bd7e3858d920f270c936d5de20cfbc59a3bbca3440dee122591a7a97fca33e9f`

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

Hashes for clingo_lpx-1.1.0-cp37-cp37m-macosx_10_9_x86_64.whl
Algorithm	Hash digest
SHA256	`ded2060d6752875503637cc437597161b0bb5ed1056924aad48620e5aebf4f67`
MD5	`1d988f3582a122c1721eea6f0d34720e`
BLAKE2b-256	`16516d1d0b794b3e98709597887e3983fe865a529d060c23e9f63db64c52fa43`

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

Hashes for clingo_lpx-1.1.0-cp36-cp36m-win_amd64.whl
Algorithm	Hash digest
SHA256	`bd1bc7cbbae64e0568a59d37360753d7654aa524ce936507e24e7f5aa02a6c66`
MD5	`524a9b897c31deb92ff54f7a2d54d302`
BLAKE2b-256	`f7f3ed988c8b9a0345d7af565ac9a5d4d6b22bb3178973e5f40bf78d2c4242bd`

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

Hashes for clingo_lpx-1.1.0-cp36-cp36m-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm	Hash digest
SHA256	`dd302d2623e008b3b7e40e3cd1f59b6633e6e87c493653bf6cdb94a32e0bd5ba`
MD5	`3767b445a71ac728ae8a902fba1324f8`
BLAKE2b-256	`c416c8103ee663f8073c51d6e892ee25df513ed5dac3cce657de1656f7c096e7`

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

Hashes for clingo_lpx-1.1.0-cp36-cp36m-macosx_10_9_x86_64.whl
Algorithm	Hash digest
SHA256	`fdc9ecb0f4d3ea1602ede491a683a2ea992bbc8c22e5075b34f8e41a1f55dfbe`
MD5	`f7356502b0347ef79e8b9f7498b18b19`
BLAKE2b-256	`6fc32a8d4d49fd1b51da253abb3859d0d936822e70ac83e5c22dc1358e2057fc`