Python wrapper around the Boolector SMT solver

Navigation

Verified details

These details have been verified by PyPI
Maintainers
Avatar for mballance from gravatar.com mballance Avatar for mpreiner from gravatar.com mpreiner

Unverified details

These details have not been verified by PyPI
Project links
Meta
Classifiers
Report project as malware

Project description

This package, specifically, enables the Boolector Python wrapper to be installed from PyPi

Project details

Verified details

These details have been verified by PyPI
Maintainers
Avatar for mballance from gravatar.com mballance Avatar for mpreiner from gravatar.com mpreiner

Unverified details

These details have not been verified by PyPI
Project links
Meta
Classifiers

Release history Release notifications | RSS feed

This version

3.2.4.20240823.1

3.2.3.20240822.20

3.2.3.20240822.1

3.2.3.20240305.1

3.2.3.20240215.1

3.2.3.20231106.1

3.2.3.20231101.1

3.2.3.20230913.1

3.2.3.20230911.5

3.2.2.350174922

3.2.2.350174618

3.2.2.20230911.3

3.2.2.20230110.4

3.2.2.20230110.2

3.2.2.20230110.1

3.2.2.20230105.5

3.2.2.20230105.4

3.2.2.20230105.2

3.2.2.20230104.1

3.2.2.20221010.1

3.2.2.20220802.4

3.2.2.20220125.14

3.2.2.20220119.1

3.2.2.20220115.2

3.2.2.20220115.1

3.2.2.20220114.1

3.2.2.20211216.1

3.2.2.20211110.2

3.2.2.20211110.1

3.2.2.20211015.1

3.2.2.20210617.2

3.2.2.20210616.1

3.2.2.20210602.1

3.2.2.20210528.1

3.2.1.20210527.1

3.2.1.20210520.3

3.2.1.20210520.2

3.2.1.20210520.1

3.2.1.20210519.5

3.2.1.20210519.4

3.2.1.20210519.3

3.2.1.20210519.2

3.2.1.20210519.1

3.2.1.20210513.3

3.2.1.20210513.2

3.2.1.20210513.1

3.2.1.20210414.8

3.2.1.20210414.7

3.2.1.20210314.2

3.2.1.20210314.1

3.2.1.20210109.1

3.2.1.20201201.2

3.2.1.20201030.2

3.2.1.20201020.2

3.2.1.20200926.1

3.2.1.20200925.1

3.2.1.20200914.2

3.2.1.20200907.11

3.2.1.20200907.10

3.2.1.20200907.9

3.2.1.20200907.8

3.2.1.20200907.7

3.2.1.20200907.6

3.2.1.20200907.5

3.2.1.20200907.4

3.2.1.20200907.3

3.2.1.20200906.18

3.2.1.20200906.17

3.2.1.20200906.16

3.2.1.20200906.15

3.2.1.20200906.14

3.2.1.20200906.13

3.2.1.20200906.12

3.2.1.20200906.11

3.2.1.20200906.10

3.2.1.20200906.9

3.2.1.20200906.8

3.2.1.20200906.7

3.2.1.20200906.6

3.2.1.20200906.5

3.2.1.20200906.4

3.2.1.20200906.3

3.2.1.20200906.2

3.2.1.20200906.1

3.2.1.20200826.2

3.2.1.20200811.1

3.2.1.20200804.1

3.2.1.20200731.1

3.2.1.20200720.2

3.2.1.20200714.1

3.2.1.20200711.3

3.2.1.20200711.1

3.2.1.20200616.1

3.2.1.20200615.1

3.2.1.20200521.1

3.2.1.20200520.1

3.2.1.20200429.2

3.2.1.20200429.1

3.2.1.20200423.1

3.2.1.20200421.2

3.2.1.20200415.1

3.2.1.20200414.1

3.2.1.20200413.1

3.2.1.20200410.3

3.2.1

3.2.0.20200301.4

3.0.0.20191119.2

3.0.0.20191119.1

3.0.0.20191102.28

3.0.0.1

Download files

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

Source Distribution

pyboolector-3.2.4.20240823.1.tar.gz (21.5 kB view details)

Uploaded Source

Built Distributions

PyBoolector-3.2.4.20240823.1-cp312-cp312-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (3.0 MB view details)

Uploaded CPython 3.12manylinux: glibc 2.17+ x86-64

PyBoolector-3.2.4.20240823.1-cp312-cp312-manylinux_2_17_ppc64le.manylinux2014_ppc64le.whl (3.2 MB view details)

Uploaded CPython 3.12manylinux: glibc 2.17+ ppc64le

PyBoolector-3.2.4.20240823.1-cp312-cp312-macosx_10_9_universal2.whl (2.3 MB view details)

Uploaded CPython 3.12macOS 10.9+ universal2 (ARM64, x86-64)

PyBoolector-3.2.4.20240823.1-cp311-cp311-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (3.0 MB view details)

Uploaded CPython 3.11manylinux: glibc 2.17+ x86-64

PyBoolector-3.2.4.20240823.1-cp311-cp311-manylinux_2_17_ppc64le.manylinux2014_ppc64le.whl (3.2 MB view details)

Uploaded CPython 3.11manylinux: glibc 2.17+ ppc64le

PyBoolector-3.2.4.20240823.1-cp310-cp310-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (2.5 MB view details)

Uploaded CPython 3.10manylinux: glibc 2.17+ x86-64

PyBoolector-3.2.4.20240823.1-cp310-cp310-manylinux_2_17_ppc64le.manylinux2014_ppc64le.whl (2.7 MB view details)

Uploaded CPython 3.10manylinux: glibc 2.17+ ppc64le

PyBoolector-3.2.4.20240823.1-cp39-cp39-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (2.5 MB view details)

Uploaded CPython 3.9manylinux: glibc 2.17+ x86-64

PyBoolector-3.2.4.20240823.1-cp39-cp39-manylinux_2_17_ppc64le.manylinux2014_ppc64le.whl (2.7 MB view details)

Uploaded CPython 3.9manylinux: glibc 2.17+ ppc64le

PyBoolector-3.2.4.20240823.1-cp38-cp38-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (2.6 MB view details)

Uploaded CPython 3.8manylinux: glibc 2.17+ x86-64

PyBoolector-3.2.4.20240823.1-cp38-cp38-manylinux_2_17_ppc64le.manylinux2014_ppc64le.whl (2.7 MB view details)

Uploaded CPython 3.8manylinux: glibc 2.17+ ppc64le

PyBoolector-3.2.4.20240823.1-cp37-cp37m-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (2.4 MB view details)

Uploaded CPython 3.7mmanylinux: glibc 2.17+ x86-64

PyBoolector-3.2.4.20240823.1-cp37-cp37m-manylinux_2_17_ppc64le.manylinux2014_ppc64le.whl (2.5 MB view details)

Uploaded CPython 3.7mmanylinux: glibc 2.17+ ppc64le

PyBoolector-3.2.4.20240823.1-cp36-cp36m-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (2.4 MB view details)

Uploaded CPython 3.6mmanylinux: glibc 2.17+ x86-64

PyBoolector-3.2.4.20240823.1-cp36-cp36m-manylinux_2_17_ppc64le.manylinux2014_ppc64le.whl (2.5 MB view details)

Uploaded CPython 3.6mmanylinux: glibc 2.17+ ppc64le

File details

Details for the file pyboolector-3.2.4.20240823.1.tar.gz.

File metadata

  • Download URL: pyboolector-3.2.4.20240823.1.tar.gz
  • Upload date:
  • Size: 21.5 kB
  • Tags: Source
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/5.1.1 CPython/3.10.12

File hashes

Hashes for pyboolector-3.2.4.20240823.1.tar.gz
Algorithm Hash digest
SHA256 40cbb458535b0bda3b1f996c280f8a5ebdb4a2eb4993b5f751702953b7c18ac4
MD5 cc61661f0fa8d2533444c60d9f818105
BLAKE2b-256 a2d796832c80e8c6f35fcfc70dc43cc7cb77ccc0e536c9f032bbe4998bd7feb8

See more details on using hashes here.

File details

Details for the file PyBoolector-3.2.4.20240823.1-cp312-cp312-manylinux_2_17_x86_64.manylinux2014_x86_64.whl.

File metadata

File hashes

Hashes for PyBoolector-3.2.4.20240823.1-cp312-cp312-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 5ed000b3621733e9951564ba27c03c91944c70b3987da5a5117590f45988b38d
MD5 f15531bdf527b09b32d2f16176b5deaf
BLAKE2b-256 9c3fc42c12a9f10a4307cf2e5fb55efed9775f6da25848e7d485b730a41d4aae

See more details on using hashes here.

File details

Details for the file PyBoolector-3.2.4.20240823.1-cp312-cp312-manylinux_2_17_ppc64le.manylinux2014_ppc64le.whl.

File metadata

File hashes

Hashes for PyBoolector-3.2.4.20240823.1-cp312-cp312-manylinux_2_17_ppc64le.manylinux2014_ppc64le.whl
Algorithm Hash digest
SHA256 9b3e9976536441a780047f1237baf8c66bc7048424e099d97afda5a73fa852db
MD5 3f5e6f01bc514c85cf3b14d31b3377e3
BLAKE2b-256 a6fcd4824e7bae6f718df51f40acad994510dec71fccc13c186ec9f7389287e1

See more details on using hashes here.

File details

Details for the file PyBoolector-3.2.4.20240823.1-cp312-cp312-macosx_10_9_universal2.whl.

File metadata

File hashes

Hashes for PyBoolector-3.2.4.20240823.1-cp312-cp312-macosx_10_9_universal2.whl
Algorithm Hash digest
SHA256 21efe376c02e5a4b3f2c29dfee59d32efe66a3e4dfc7c849e9e34d706e5884a4
MD5 3df8739f9192022b754d3bdc541cb4aa
BLAKE2b-256 a2e65bbc48f7552bedc8eaa0395ed305598ecc649cbdd916bf4d3cd701b7083e

See more details on using hashes here.

File details

Details for the file PyBoolector-3.2.4.20240823.1-cp311-cp311-manylinux_2_17_x86_64.manylinux2014_x86_64.whl.

File metadata

File hashes

Hashes for PyBoolector-3.2.4.20240823.1-cp311-cp311-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 926214d230ec493a6afc95a69b45ed9262e09bb6edd2d876dcffa2e1918f925c
MD5 752d0641700da1e27145939061e087c1
BLAKE2b-256 7305faf6eda742ad98251190ed6eca0b1eff861c65de0fbcda5b89d776df7449

See more details on using hashes here.

File details

Details for the file PyBoolector-3.2.4.20240823.1-cp311-cp311-manylinux_2_17_ppc64le.manylinux2014_ppc64le.whl.

File metadata

File hashes

Hashes for PyBoolector-3.2.4.20240823.1-cp311-cp311-manylinux_2_17_ppc64le.manylinux2014_ppc64le.whl
Algorithm Hash digest
SHA256 e565250421be65c83971037f2b09ab9d7756acba746e36c439581e7677477cd9
MD5 b021f7712fe28d22d2f5568381110b2c
BLAKE2b-256 4856e27a7cd5651405b265949218a3c24fc0039f251d27a528a5c212ef556da0

See more details on using hashes here.

File details

Details for the file PyBoolector-3.2.4.20240823.1-cp310-cp310-manylinux_2_17_x86_64.manylinux2014_x86_64.whl.

File metadata

File hashes

Hashes for PyBoolector-3.2.4.20240823.1-cp310-cp310-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 5a8e95513fad0da8b72e709aff2c92388f6f81f7afc900c6697308e8c50b4116
MD5 ae9aebb55b6f930292c06fe779e0d3e4
BLAKE2b-256 28324b514c2132f88d240b494dae3d9a58b165c7a00183afc693a14929a9ae84

See more details on using hashes here.

File details

Details for the file PyBoolector-3.2.4.20240823.1-cp310-cp310-manylinux_2_17_ppc64le.manylinux2014_ppc64le.whl.

File metadata

File hashes

Hashes for PyBoolector-3.2.4.20240823.1-cp310-cp310-manylinux_2_17_ppc64le.manylinux2014_ppc64le.whl
Algorithm Hash digest
SHA256 79e40a4c5e87813fc9972ed9d69be896586a37f3f9505d41c715af6bacf3c69d
MD5 5e95cd371761c4e009700eb411dcfcea
BLAKE2b-256 6b58fed2502461ef77a4517c1451d3eed2d33ee8ca45e8c72ba4898abc5c2eca

See more details on using hashes here.

File details

Details for the file PyBoolector-3.2.4.20240823.1-cp39-cp39-manylinux_2_17_x86_64.manylinux2014_x86_64.whl.

File metadata

File hashes

Hashes for PyBoolector-3.2.4.20240823.1-cp39-cp39-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 096dcbbbd0ade9f34e8b55f78f90526e4afb060fe8ee492eb3d3f8bbe8b400a0
MD5 64279963b959a7f85d1d7e0ec65d8c35
BLAKE2b-256 b7c4dadb0ecc6406d8b38ac51b78e6e83dc75c772d5c350332fb145c1b865930

See more details on using hashes here.

File details

Details for the file PyBoolector-3.2.4.20240823.1-cp39-cp39-manylinux_2_17_ppc64le.manylinux2014_ppc64le.whl.

File metadata

File hashes

Hashes for PyBoolector-3.2.4.20240823.1-cp39-cp39-manylinux_2_17_ppc64le.manylinux2014_ppc64le.whl
Algorithm Hash digest
SHA256 3d2d0b9fc6573fc838f45e81e8eea7a2b691f81b7b65c159fcfa4966e50f7259
MD5 9d6f88d4d1ae02b2f701cb636452fd2c
BLAKE2b-256 f0effa0d20dfcd21e244949e0fa9e331ce28c363320dfa9d8400a6840953788d

See more details on using hashes here.

File details

Details for the file PyBoolector-3.2.4.20240823.1-cp38-cp38-manylinux_2_17_x86_64.manylinux2014_x86_64.whl.

File metadata

File hashes

Hashes for PyBoolector-3.2.4.20240823.1-cp38-cp38-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 4d2b910bcb1025bff5e43936042e3a49a4465b7d038170a8bad446036582e747
MD5 22d88b02601e6f32bf88a0d4f73711b2
BLAKE2b-256 a3aa931689aa8f5740217438af459571cca7145945a23b58ed3b8070ac2cc421

See more details on using hashes here.

File details

Details for the file PyBoolector-3.2.4.20240823.1-cp38-cp38-manylinux_2_17_ppc64le.manylinux2014_ppc64le.whl.

File metadata

File hashes

Hashes for PyBoolector-3.2.4.20240823.1-cp38-cp38-manylinux_2_17_ppc64le.manylinux2014_ppc64le.whl
Algorithm Hash digest
SHA256 9f06df8d28e9fadbd184bafb054fcf3b8ace612b29d50f3e02203faf2b9d087e
MD5 36db53e8e9d98c74036879ebbcd8b28d
BLAKE2b-256 e02ca5d1c5af96ad661f2341f33510f1f42b044653bc40b7c976073786f6b60c

See more details on using hashes here.

File details

Details for the file PyBoolector-3.2.4.20240823.1-cp37-cp37m-manylinux_2_17_x86_64.manylinux2014_x86_64.whl.

File metadata

File hashes

Hashes for PyBoolector-3.2.4.20240823.1-cp37-cp37m-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 2095c9a76a1eb2d131e2a65f4cf5f4a952a1d228dc38dc90f1a3ff7befd4ab4e
MD5 f2468dc42d2931679573cba5098e9662
BLAKE2b-256 fbf961bfaa453350a428315ca9f580cd3f964e1d3f1aa077bb51b308f673811e

See more details on using hashes here.

File details

Details for the file PyBoolector-3.2.4.20240823.1-cp37-cp37m-manylinux_2_17_ppc64le.manylinux2014_ppc64le.whl.

File metadata

File hashes

Hashes for PyBoolector-3.2.4.20240823.1-cp37-cp37m-manylinux_2_17_ppc64le.manylinux2014_ppc64le.whl
Algorithm Hash digest
SHA256 2418dc091d443266288ea22e120949cd2eeaadafc1aff1dd1091986407dfa181
MD5 cec03d0df5743d64667f60a168d92db4
BLAKE2b-256 a6e49ea5155dc096195b83d12a8cd6b41e8b0f3e7883df342b9b208fcaf82605

See more details on using hashes here.

File details

Details for the file PyBoolector-3.2.4.20240823.1-cp36-cp36m-manylinux_2_17_x86_64.manylinux2014_x86_64.whl.

File metadata

File hashes

Hashes for PyBoolector-3.2.4.20240823.1-cp36-cp36m-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 afc94ffeaebd899d556e712947f111161ad55d092907a556feef80c0b0c1bc7b
MD5 610b95df1e2f743e78bfa3a4e16a7677
BLAKE2b-256 641ef3754082848ec686e671141f0e8f23c0eed19e0ca83e2f63c757da17707f

See more details on using hashes here.

File details

Details for the file PyBoolector-3.2.4.20240823.1-cp36-cp36m-manylinux_2_17_ppc64le.manylinux2014_ppc64le.whl.

File metadata

File hashes

Hashes for PyBoolector-3.2.4.20240823.1-cp36-cp36m-manylinux_2_17_ppc64le.manylinux2014_ppc64le.whl
Algorithm Hash digest
SHA256 57122134b8eec6d31fff99105a593b73202f258019ee3b8fcbac1f795b8dda0b
MD5 69a1857411ec008681e1fe084585ed39
BLAKE2b-256 a2a4afe63e8175891d0633dfd540a9dabbd869915f7eace9e1edb1a7a746b310

See more details on using hashes here.

Supported by

AWS Cloud computing and Security Sponsor Datadog Monitoring Fastly CDN Google Download Analytics Pingdom Monitoring Sentry Error logging StatusPage Status page