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 Py-Pi

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

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

This version

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.1.20201020.2.tar.gz (20.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.1.20201020.2-cp38-cp38-manylinux1_x86_64.whl (1.9 MB view details)

Uploaded CPython 3.8

PyBoolector-3.2.1.20201020.2-cp38-cp38-macosx_10_15_x86_64.whl (960.1 kB view details)

Uploaded CPython 3.8macOS 10.15+ x86-64

PyBoolector-3.2.1.20201020.2-cp37-cp37m-manylinux1_x86_64.whl (1.8 MB view details)

Uploaded CPython 3.7m

PyBoolector-3.2.1.20201020.2-cp36-cp36m-manylinux1_x86_64.whl (1.8 MB view details)

Uploaded CPython 3.6m

PyBoolector-3.2.1.20201020.2-cp35-cp35m-manylinux1_x86_64.whl (1.8 MB view details)

Uploaded CPython 3.5m

File details

Details for the file PyBoolector-3.2.1.20201020.2.tar.gz.

File metadata

  • Download URL: PyBoolector-3.2.1.20201020.2.tar.gz
  • Upload date:
  • Size: 20.5 kB
  • Tags: Source
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/3.2.0 pkginfo/1.6.0 requests/2.24.0 setuptools/50.3.2 requests-toolbelt/0.9.1 tqdm/4.50.2 CPython/3.6.9

File hashes

Hashes for PyBoolector-3.2.1.20201020.2.tar.gz
Algorithm Hash digest
SHA256 8c9f70afa9a8950bb10e0aa693137581a884e3dbbce1b63a6a3b129dfac51b78
MD5 bab98c6b091b9da9b40fee496801d2f7
BLAKE2b-256 bf7e4d9e1b6617b09c08fb6444ee64743e712e456361ba39c23a377d57481d67

See more details on using hashes here.

File details

Details for the file PyBoolector-3.2.1.20201020.2-cp38-cp38-manylinux1_x86_64.whl.

File metadata

File hashes

Hashes for PyBoolector-3.2.1.20201020.2-cp38-cp38-manylinux1_x86_64.whl
Algorithm Hash digest
SHA256 724533d0670df47d6ff0c772796cad91c7a593ee22f34c06438b4a5badfb5ecb
MD5 eab302a7e1651ad59377e4cba4d79f17
BLAKE2b-256 9f3dd4b8fa1835a4cf2abc4b2498a251803bc4801bed4119d66e63a5c85057ed

See more details on using hashes here.

File details

Details for the file PyBoolector-3.2.1.20201020.2-cp38-cp38-macosx_10_15_x86_64.whl.

File metadata

  • Download URL: PyBoolector-3.2.1.20201020.2-cp38-cp38-macosx_10_15_x86_64.whl
  • Upload date:
  • Size: 960.1 kB
  • Tags: CPython 3.8, macOS 10.15+ x86-64
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/3.2.0 pkginfo/1.6.0 requests/2.24.0 setuptools/50.3.0 requests-toolbelt/0.9.1 tqdm/4.50.2 CPython/3.8.6

File hashes

Hashes for PyBoolector-3.2.1.20201020.2-cp38-cp38-macosx_10_15_x86_64.whl
Algorithm Hash digest
SHA256 7dd15f1f53461a667e968ad1fb672aa6d83e40bd217bd0a0e7aebab851776cf4
MD5 85ed2843db858b7d6b3395d558707c74
BLAKE2b-256 4c66bc49e14ef3c6033bee4035e724617670e936b2e4d207dbee0efa8b9211ee

See more details on using hashes here.

File details

Details for the file PyBoolector-3.2.1.20201020.2-cp37-cp37m-manylinux1_x86_64.whl.

File metadata

File hashes

Hashes for PyBoolector-3.2.1.20201020.2-cp37-cp37m-manylinux1_x86_64.whl
Algorithm Hash digest
SHA256 035af641caa6278af05c2122bbf7970633dcb91eb59a4240a7c7b5ed335f48ae
MD5 cf8e8e7a06dce7fe0ffd2c9dbbe68fdc
BLAKE2b-256 86d188f0277e3afb46bb80c3fba7c95549cb059c606c7cff05ca6541d563064e

See more details on using hashes here.

File details

Details for the file PyBoolector-3.2.1.20201020.2-cp36-cp36m-manylinux1_x86_64.whl.

File metadata

File hashes

Hashes for PyBoolector-3.2.1.20201020.2-cp36-cp36m-manylinux1_x86_64.whl
Algorithm Hash digest
SHA256 8ef71487eec58f4225da42848b71251cf12789f95ff59be35c5d328ef159725f
MD5 2c068f11eef55432b8508936982afdc8
BLAKE2b-256 f172769a3f530c8da4be003bf7be5c8ad6c292a1009ff9011b3a4c2301b03f5c

See more details on using hashes here.

File details

Details for the file PyBoolector-3.2.1.20201020.2-cp35-cp35m-manylinux1_x86_64.whl.

File metadata

File hashes

Hashes for PyBoolector-3.2.1.20201020.2-cp35-cp35m-manylinux1_x86_64.whl
Algorithm Hash digest
SHA256 24d6363aa5c3cc8692a8f0c6a327139c321a1bbc2e5eb4ba562f43f42ddc839c
MD5 3ee09c77c8d6dbd2132dd9eede655f8e
BLAKE2b-256 fd771ecb93fbcaa5863bfc70cb03e2013c693fad24facba6b34bb5606f834382

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