Python wrapper around the Boolector SMT solver

Navigation

Verified details

These details have been verified by PyPI
Project links
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
Project links
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

This version

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

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.19199565967.tar.gz (21.8 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.4.19199565967-cp314-cp314-macosx_15_0_arm64.whl (999.9 kB view details)

Uploaded CPython 3.14macOS 15.0+ ARM64

pyboolector-3.2.4.19199565967-cp313-cp313-manylinux2014_x86_64.manylinux_2_17_x86_64.whl (2.4 MB view details)

Uploaded CPython 3.13manylinux: glibc 2.17+ x86-64

pyboolector-3.2.4.19199565967-cp312-cp312-manylinux2014_x86_64.manylinux_2_17_x86_64.whl (2.4 MB view details)

Uploaded CPython 3.12manylinux: glibc 2.17+ x86-64

pyboolector-3.2.4.19199565967-cp311-cp311-manylinux2014_x86_64.manylinux_2_17_x86_64.whl (2.4 MB view details)

Uploaded CPython 3.11manylinux: glibc 2.17+ x86-64

pyboolector-3.2.4.19199565967-cp310-cp310-manylinux2014_x86_64.manylinux_2_17_x86_64.whl (2.3 MB view details)

Uploaded CPython 3.10manylinux: glibc 2.17+ x86-64

pyboolector-3.2.4.19199565967-cp39-cp39-manylinux2014_x86_64.manylinux_2_17_x86_64.whl (2.3 MB view details)

Uploaded CPython 3.9manylinux: glibc 2.17+ x86-64

pyboolector-3.2.4.19199565967-cp38-cp38-manylinux2014_x86_64.manylinux_2_17_x86_64.whl (2.4 MB view details)

Uploaded CPython 3.8manylinux: glibc 2.17+ x86-64

File details

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

File metadata

  • Download URL: pyboolector-3.2.4.19199565967.tar.gz
  • Upload date:
  • Size: 21.8 kB
  • Tags: Source
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/6.2.0 CPython/3.12.3

File hashes

Hashes for pyboolector-3.2.4.19199565967.tar.gz
Algorithm Hash digest
SHA256 4e6500edcae3e8c745826b427c4df05f5e4648ea749132a36b7ef8a12a710d04
MD5 42d6137dd9c32b3ad144d1c0f7edce18
BLAKE2b-256 2a78d95039fef5a7faf751547fe1ccb2867332dc4a0b43f9984a425fc2945275

See more details on using hashes here.

File details

Details for the file pyboolector-3.2.4.19199565967-cp314-cp314-macosx_15_0_arm64.whl.

File metadata

File hashes

Hashes for pyboolector-3.2.4.19199565967-cp314-cp314-macosx_15_0_arm64.whl
Algorithm Hash digest
SHA256 741dde0b2b627f9f0492aa82d286f0f8c712291b624558b23456432a44abadeb
MD5 32686418513fb05722654a87a8d32e15
BLAKE2b-256 a8028c16d7621912e95ece1813e1719eb75868e19fac4317504d2915955272ef

See more details on using hashes here.

File details

Details for the file pyboolector-3.2.4.19199565967-cp313-cp313-manylinux2014_x86_64.manylinux_2_17_x86_64.whl.

File metadata

File hashes

Hashes for pyboolector-3.2.4.19199565967-cp313-cp313-manylinux2014_x86_64.manylinux_2_17_x86_64.whl
Algorithm Hash digest
SHA256 f360b256ddb7917cc167c86e99763d5c57e6fff66a87157af8b5cd542b45a504
MD5 30fcc30d7e8a94b60e0edbe892bbcc24
BLAKE2b-256 a40dcb4aa23bf11e50d4ce854ab055d71b2ee7b211ee436d1f8e98cc4dfc1dfe

See more details on using hashes here.

File details

Details for the file pyboolector-3.2.4.19199565967-cp312-cp312-manylinux2014_x86_64.manylinux_2_17_x86_64.whl.

File metadata

File hashes

Hashes for pyboolector-3.2.4.19199565967-cp312-cp312-manylinux2014_x86_64.manylinux_2_17_x86_64.whl
Algorithm Hash digest
SHA256 29c15518741baf19849b2398712e161421ee2aa0a52a8e9f3241bffb4faf18e1
MD5 c7c57bf6691f5827211a0b422b3b7f4b
BLAKE2b-256 63e627f45aa20ee51e15bb734c9cc5a5c8267f51bccf2e68eef37d6b2eed5af4

See more details on using hashes here.

File details

Details for the file pyboolector-3.2.4.19199565967-cp311-cp311-manylinux2014_x86_64.manylinux_2_17_x86_64.whl.

File metadata

File hashes

Hashes for pyboolector-3.2.4.19199565967-cp311-cp311-manylinux2014_x86_64.manylinux_2_17_x86_64.whl
Algorithm Hash digest
SHA256 3fcd56c2e9e7a408f0ffd86341c889f94a360fe7b58b05704b7e598e1bcb487d
MD5 7ca090005f9d850c5be0acb90bf543af
BLAKE2b-256 1777afdb304a22b64385b9e61e49589fd7f3d401a765fef0a44f4bf5d3d3c8b1

See more details on using hashes here.

File details

Details for the file pyboolector-3.2.4.19199565967-cp310-cp310-manylinux2014_x86_64.manylinux_2_17_x86_64.whl.

File metadata

File hashes

Hashes for pyboolector-3.2.4.19199565967-cp310-cp310-manylinux2014_x86_64.manylinux_2_17_x86_64.whl
Algorithm Hash digest
SHA256 7fe2312ff3516007e3ac91e0b0140bebd8208fb6cb51f1535635bcf3b9584c6d
MD5 9f1f099bcfee8ea7cd6cc28ef4432196
BLAKE2b-256 f17997a0c37738468eeafafedca96fc77a94d9ce6b9184fa6f2d08fe74999d31

See more details on using hashes here.

File details

Details for the file pyboolector-3.2.4.19199565967-cp39-cp39-manylinux2014_x86_64.manylinux_2_17_x86_64.whl.

File metadata

File hashes

Hashes for pyboolector-3.2.4.19199565967-cp39-cp39-manylinux2014_x86_64.manylinux_2_17_x86_64.whl
Algorithm Hash digest
SHA256 b1b327c672149801fadd6e770249d7172308ccb4deb3807aaca0adf5368135ec
MD5 92930bdbe99436afd0c4597e330bd5ec
BLAKE2b-256 1a3f2e119607544f8722b4e176b465b24d2b4dc30f47c0324712d488e64d16c1

See more details on using hashes here.

File details

Details for the file pyboolector-3.2.4.19199565967-cp38-cp38-manylinux2014_x86_64.manylinux_2_17_x86_64.whl.

File metadata

File hashes

Hashes for pyboolector-3.2.4.19199565967-cp38-cp38-manylinux2014_x86_64.manylinux_2_17_x86_64.whl
Algorithm Hash digest
SHA256 724eda967afdd9e8481d0862dc2e5d18afc1f9d038dbb4d140b3a277265c9ee9
MD5 68ba9eaf4d84c1e9d58fc47ab51c6d7e
BLAKE2b-256 7c3d8300ef9e18ad6e04ea7a4646edcd4afc4dab5e6c53e78f499411e5f5f84a

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