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

3.2.4.19342042739

3.2.4.19199673826

3.2.4.19199565967

3.2.4.20240823.1

3.2.4.19

3.2.3.20240822.20

3.2.3.20240822.1

3.2.3.20240305.1

This version

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.3.20240215.1.tar.gz (21.5 kB view details)

Uploaded Source

Built Distributions

If you're not sure about the file name format, learn more about wheel file names.

PyBoolector-3.2.3.20240215.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.3.20240215.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.3.20240215.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.3.20240215.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.3.20240215.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.3.20240215.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.3.20240215.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.3.20240215.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.3.20240215.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.3.20240215.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.3.20240215.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.3.20240215.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.3.20240215.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.3.20240215.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.3.20240215.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.3.20240215.1.tar.gz.

File metadata

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

File hashes

Hashes for PyBoolector-3.2.3.20240215.1.tar.gz
Algorithm Hash digest
SHA256 b96fdd7b0bc7412d12fc64e424220e88e4495228a95dca0fb1b5b4c344a26514
MD5 dae26aeff022e240013b0a849fdf2325
BLAKE2b-256 faa6df130182928f64ed890f6a590eef2485411f89b947ecb4b1843946e990e5

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for PyBoolector-3.2.3.20240215.1-cp312-cp312-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 23aa24ea44c6e78d9a1dfe0f7af6db15a687e3baee01720d8b8e87c74307cdbd
MD5 1736d6c9427cddf5c15312da6453470a
BLAKE2b-256 5a431628b9ce12b7b8b3ef5c760b105a4de6dfbcd63a64b523f422655ae108c8

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for PyBoolector-3.2.3.20240215.1-cp312-cp312-manylinux_2_17_ppc64le.manylinux2014_ppc64le.whl
Algorithm Hash digest
SHA256 340e39e4cc9b50a38b2a78543ad4b59ee4ba7640f34e4857552650b075f5a4a1
MD5 51ea294213744f49b8968a4093b435a9
BLAKE2b-256 666e4e1f03fd54fd0a1f0e1958970d09fc4c4df4ac2db9651ea568c36ef2d929

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for PyBoolector-3.2.3.20240215.1-cp312-cp312-macosx_10_9_universal2.whl
Algorithm Hash digest
SHA256 70350f1d2f2ebf660bba4a9e176adfc710773ca2e3181df270cfe676f3b14d90
MD5 553407c842f34e3bf06a537bdb733b54
BLAKE2b-256 349899094f2d599b12b10ca53ac28cf7cfd3bee204cc23a9b2517b1482dc492a

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for PyBoolector-3.2.3.20240215.1-cp311-cp311-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 139fc5c28115224ff4028ac939d15ae436a7e21368f63107501af86120f4f7e0
MD5 03c294fe7af442915f308ccca61cbf9e
BLAKE2b-256 3a9e514c3782ea8b5ec7968916ecd1003a24ec37bfa79d868bc7eaa57562f30a

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for PyBoolector-3.2.3.20240215.1-cp311-cp311-manylinux_2_17_ppc64le.manylinux2014_ppc64le.whl
Algorithm Hash digest
SHA256 8c698cd2cea5afd6b67716441ab23a7401ab7478aedb988713f1edaca65e25b4
MD5 e17b23db3a25c598f50fb7d397fd06c1
BLAKE2b-256 7b0d4b6f3737f929ef512239c59415ce1b9c1660517b2c202920d680715b698f

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for PyBoolector-3.2.3.20240215.1-cp310-cp310-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 1cf649ea04033f9b3dfa30e7ed66f64dd3cdea588371c7688870cd10d7162522
MD5 ba371eb374167beb4980391005accef8
BLAKE2b-256 c687cf48267afa6b36cfc646edc460ea0895f0f1e599ebd493b127a4848fbd6a

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for PyBoolector-3.2.3.20240215.1-cp310-cp310-manylinux_2_17_ppc64le.manylinux2014_ppc64le.whl
Algorithm Hash digest
SHA256 263e1b59c64ba5528a0fa23bc3bc8b115f325272dc1380e048af05b7cbe5b4d8
MD5 186b17ba80d602abb4c72661a4cc1441
BLAKE2b-256 0c24fe23851e1e0ac4c1c384102cf0ab2325f64b3623cbb5e6493e68e81f9719

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for PyBoolector-3.2.3.20240215.1-cp39-cp39-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 748eee4f90ff88d72e4a2024a5deb0498b9a08981d3b496562ccb7ae32a6502d
MD5 87a00aa274e587e2cda59ae69f9996b2
BLAKE2b-256 53208bdf321bbb19141a6df0a9db2eba6af0d7c43c5245e979f061a0f817ae1b

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for PyBoolector-3.2.3.20240215.1-cp39-cp39-manylinux_2_17_ppc64le.manylinux2014_ppc64le.whl
Algorithm Hash digest
SHA256 66fad571414c749f57acad26376ff855f618eb11479e47350fb145e9c052c6fe
MD5 cc6e71221272a05d9e96e59118b84e77
BLAKE2b-256 3b70373a81f5e4d36d04cc537725877dab566999c43f68981c9880576ae44d3e

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for PyBoolector-3.2.3.20240215.1-cp38-cp38-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 a79e7b6968f3ba1f7238b31297f4200ee02e015c27ebd9c0445687757ac82a2c
MD5 d0471be73389bbbabdbaac309c5020b5
BLAKE2b-256 bff69955a32e923f999e53d273cebda61868bfc722c742649366ab7c1fff75fa

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for PyBoolector-3.2.3.20240215.1-cp38-cp38-manylinux_2_17_ppc64le.manylinux2014_ppc64le.whl
Algorithm Hash digest
SHA256 bb9ba9ebaedd19b9d20a8b806b67c49caf9d531fee03aef01dafc8628f7400ff
MD5 563929d6ed13b2138ef24b005ca1d116
BLAKE2b-256 3b06c7eea5668a58d0a2f19ecf403a40807896eab589f1cb341570f333914290

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for PyBoolector-3.2.3.20240215.1-cp37-cp37m-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 04aeb0283e14e644e759928f4835c01ea0be6206dacb6bacf56ccbe624fac812
MD5 c9ea001bb93883f111c1e74fc9d733f3
BLAKE2b-256 f7cd69f30a9152b9e1eeee33f4d84493bb92158ef079f30f59887726f6fc9dc3

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for PyBoolector-3.2.3.20240215.1-cp37-cp37m-manylinux_2_17_ppc64le.manylinux2014_ppc64le.whl
Algorithm Hash digest
SHA256 f1cc610fc161d63be16f209955c734b156a967130ff748bca152901a45458b5e
MD5 72c6d8154344400d12feb4f448b5afc3
BLAKE2b-256 f48b858c6dba1ce2980dabe3dc99ee7b9585fe76c3ed8220ecea6aa4a97bc3f7

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for PyBoolector-3.2.3.20240215.1-cp36-cp36m-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 0d27f4d5651dd1ddfa66ddb2a196c0c6098cc3bc17be2868be303bd66348d39e
MD5 c4ec9eaccbb5c50edbeafe5445c107c5
BLAKE2b-256 910361def15932ec76230ad22fa0110271d665ca1b88e9535f8a7eda2bd3195d

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for PyBoolector-3.2.3.20240215.1-cp36-cp36m-manylinux_2_17_ppc64le.manylinux2014_ppc64le.whl
Algorithm Hash digest
SHA256 baa4c2f7fbb6603cb4fe20dcc461fe900b1d6ce6fa505302abfb49595a125ba6
MD5 b0266490550fda83757b78b0e30ea695
BLAKE2b-256 4b0ba3204e9487d2259e067c9aae74461f0bb04185b896792b5b50b1d1f8ec51

See more details on using hashes here.

Supported by

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