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

3.2.3.20240215.1

3.2.3.20231106.1

3.2.3.20231101.1

This version

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.20230913.1.tar.gz (21.4 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.20230913.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.20230913.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.20230913.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.20230913.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.20230913.1-cp311-cp311-macosx_10_9_universal2.whl (1.5 MB view details)

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

PyBoolector-3.2.3.20230913.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.20230913.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.20230913.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.20230913.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.20230913.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.20230913.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.20230913.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.20230913.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.20230913.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.20230913.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.20230913.1.tar.gz.

File metadata

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

File hashes

Hashes for PyBoolector-3.2.3.20230913.1.tar.gz
Algorithm Hash digest
SHA256 858b2138784e46213ef8444948759298f77e9eedc28b2d03b78d5531aac88192
MD5 c63319f839358ecb42d7e355c8446d9b
BLAKE2b-256 c61131a75fe4560de79c12f45ac7cafb5858b25699f24ce0ee03e89c22e1c1fd

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for PyBoolector-3.2.3.20230913.1-cp312-cp312-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 572acb937734adeb02555c8c4b0ea5b1dadcd400eab8a17b426127076853cd51
MD5 0540c4bec5d90d5229adcbe210e5d20a
BLAKE2b-256 49c6def47c80ba19e9d28d2e9afb0472740538d85e121a126bbefcb1626b5e50

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for PyBoolector-3.2.3.20230913.1-cp312-cp312-manylinux_2_17_ppc64le.manylinux2014_ppc64le.whl
Algorithm Hash digest
SHA256 863e76d7acd7266f9c6830f70308c75d60c79b6c4a380567ce98735a23ec1595
MD5 966c93d08405a6abac70e5c995e39010
BLAKE2b-256 8fbc355fa1d51312dcbecf75468e21f4426a5c7f059c300277371d9b37b18edb

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for PyBoolector-3.2.3.20230913.1-cp311-cp311-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 c4f5fb1eabc45623ffbf4d5c2b655c57d7808997ee741086c7ef8fe61bbbc157
MD5 04c2ee9b17254527e7fdd1f9a1d064a3
BLAKE2b-256 a43e7581aa3c2dbd55050bfbc778863d37b05ec45f906d64f5a57f37631ad5f0

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for PyBoolector-3.2.3.20230913.1-cp311-cp311-manylinux_2_17_ppc64le.manylinux2014_ppc64le.whl
Algorithm Hash digest
SHA256 a922db865acb1537200d9c76751f7e83d98a85b7ac8c51ba83e7e116cb1e9afa
MD5 10ce299bc441e72e8d1a9c07c99f3bc7
BLAKE2b-256 826e0c5169a173a65e62ac11e8f28241455a51777998dc94cadf26c5ebd1f1de

See more details on using hashes here.

File details

Details for the file PyBoolector-3.2.3.20230913.1-cp311-cp311-macosx_10_9_universal2.whl.

File metadata

File hashes

Hashes for PyBoolector-3.2.3.20230913.1-cp311-cp311-macosx_10_9_universal2.whl
Algorithm Hash digest
SHA256 697dd59e5474db2146cacd5d768ebd465b2ff05851610c0d7279a5d80f57184b
MD5 062f69a00d5d5720d418849236abe53f
BLAKE2b-256 05519b5b7f5f6a2d005024244f181a7e8cc81bda49b002e86aa270684c032acc

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for PyBoolector-3.2.3.20230913.1-cp310-cp310-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 a60cbf2e40183ab5b390131d89a0c6b0c7b120315692a996b98d12c3c12ad875
MD5 06988569aa65fe684a7ae94b6ac3fccb
BLAKE2b-256 c79fcc066ce10df4c7b79d2f74b43612775907e5a4156604d3942c58f8727f2a

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for PyBoolector-3.2.3.20230913.1-cp310-cp310-manylinux_2_17_ppc64le.manylinux2014_ppc64le.whl
Algorithm Hash digest
SHA256 236d0f19351874f95b908adc0577ba6af4c3894fa6d65492949597a40725d55d
MD5 43690acbc2e3ef5102d4fcefe8a69010
BLAKE2b-256 eda6ad363d8959f3a8b3825c6107ab2e1bdbbd507e60bbab43f7eb9e9e5570fb

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for PyBoolector-3.2.3.20230913.1-cp39-cp39-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 41cd38ed56179578ad4c2bd62be2a3f9094f52491f9abe40f5bca427ab076d0e
MD5 2d335dce27785ec29001d3e4baf6ce73
BLAKE2b-256 3cc9dac3f784d96aa534d2c3d0a66c3387012120099c9ac53c497c93c9cedeb1

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for PyBoolector-3.2.3.20230913.1-cp39-cp39-manylinux_2_17_ppc64le.manylinux2014_ppc64le.whl
Algorithm Hash digest
SHA256 535f2e29c15af4c06ebb007ffc2d2363240ef4a587e11a5e620e08fda757c3f5
MD5 42cce2d94b3edd7152dc30660c321f23
BLAKE2b-256 aeccfd967b029dc32f75cdd120b7c602f37f2d9f7bb05e038b62a27f082e8364

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for PyBoolector-3.2.3.20230913.1-cp38-cp38-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 c1b225523a1e0189fd16fe3beaf524372b97a60582650c6d659e010562ea9805
MD5 c0088b73e48bc39ea408865a553edff4
BLAKE2b-256 c2d54a70ae98d3ada9403d41bacf6204dc664216d273aaa11cc4e27dd2621b6f

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for PyBoolector-3.2.3.20230913.1-cp38-cp38-manylinux_2_17_ppc64le.manylinux2014_ppc64le.whl
Algorithm Hash digest
SHA256 c11eb2fd69f7bd841e515c1f63e8a846cfcd27ec837dca5c3071c57e58acb6b5
MD5 705add218c18e24115a2af10c9581172
BLAKE2b-256 8d576400818a7af29c554c4f575c7a3c044446b1fa67ab20afa1dd8ed886265d

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for PyBoolector-3.2.3.20230913.1-cp37-cp37m-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 00468fb2db30c6e27dbfaa4e6b94dd91b6cf49e82997840d3b45628b137b1a37
MD5 f2ddd491665cea309346f9767fc434dd
BLAKE2b-256 2f94b997d3171f9f39bf515b7d2e5da3d18a399cab1e016f010afcac11e4dc43

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for PyBoolector-3.2.3.20230913.1-cp37-cp37m-manylinux_2_17_ppc64le.manylinux2014_ppc64le.whl
Algorithm Hash digest
SHA256 f67a547cadacd499eba797a7521bf93a9fe58d2572e3be3744c9984287d7e2d1
MD5 1292ca90c0ba3d0dada314f01ce28108
BLAKE2b-256 ebcc3ae6a3230f15cddf8b03e51d888e836ff116b3037ec88c8a1800e02ceeaf

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for PyBoolector-3.2.3.20230913.1-cp36-cp36m-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 3ba3a1394b9d3363b9ff2134b3a6931e733a9ec5501af985f85866f528a98524
MD5 e903872f92c2df6b4cd39c1da3bb258e
BLAKE2b-256 80c73d69feeaaed96f7dcb88bf0d6841e30343c87d953b7bbee19b8ae7162bb3

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for PyBoolector-3.2.3.20230913.1-cp36-cp36m-manylinux_2_17_ppc64le.manylinux2014_ppc64le.whl
Algorithm Hash digest
SHA256 23506888430419f3cbdf83441c267241fe03e531e3f1dfbe132631e92177ef15
MD5 f4be78f96bf9f43b0f0086724725fcde
BLAKE2b-256 b6b11cdbae87024b7ec1fb5c65e1bde8b1ce03f8cfc99207f3f6bdc37188f512

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