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

This version

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.1.20201030.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.20201030.2-cp38-cp38-manylinux1_x86_64.whl (1.9 MB view details)

Uploaded CPython 3.8

PyBoolector-3.2.1.20201030.2-cp38-cp38-macosx_10_15_x86_64.whl (943.4 kB view details)

Uploaded CPython 3.8macOS 10.15+ x86-64

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

Uploaded CPython 3.7m

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

Uploaded CPython 3.6m

PyBoolector-3.2.1.20201030.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.20201030.2.tar.gz.

File metadata

  • Download URL: PyBoolector-3.2.1.20201030.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.1 requests/2.24.0 setuptools/50.3.2 requests-toolbelt/0.9.1 tqdm/4.51.0 CPython/3.6.9

File hashes

Hashes for PyBoolector-3.2.1.20201030.2.tar.gz
Algorithm Hash digest
SHA256 1c7e609a3e41d1d840df35628506e175b8b45a24b838b8c18a2c5c5847f6a3a3
MD5 c1d944647d453c7a7f789c6c0c3f4f28
BLAKE2b-256 dfb2f99a34b40d367690f49ebca0a02e0d154669eafdedc7665d3f67f989b165

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for PyBoolector-3.2.1.20201030.2-cp38-cp38-manylinux1_x86_64.whl
Algorithm Hash digest
SHA256 86519df7d16dfa29a8abf814136d7c63ad6a8476a6724a7ebdfde71bdc2157c7
MD5 5cfb4eb7d9c11af09a12ac1554a1a81a
BLAKE2b-256 d986490d3b2e4c91d6ac7e241204d65d507a2b5794e963ab85fdc66df6997972

See more details on using hashes here.

File details

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

File metadata

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

File hashes

Hashes for PyBoolector-3.2.1.20201030.2-cp38-cp38-macosx_10_15_x86_64.whl
Algorithm Hash digest
SHA256 3c28790478a4bb07a3414b376d827e84216158ea760df6a0856e02a7873a9554
MD5 f2aed1263b006b7ee9551b0386fe17b4
BLAKE2b-256 8f6593295e008aef570468fe4c384aa2cbf50263e2d8089bf9a537ca325e4bf1

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for PyBoolector-3.2.1.20201030.2-cp37-cp37m-manylinux1_x86_64.whl
Algorithm Hash digest
SHA256 3341ae24c278f1e246936d4a0e4d4654369cc02f813d6ae59aa786e4be049827
MD5 b0a80e1071f17b2cd7e54f66658d9d45
BLAKE2b-256 b2d86c7d4df03afe0031c90efdc31d667e6b5d7a4ee7cc93e9456368adf04ab0

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for PyBoolector-3.2.1.20201030.2-cp36-cp36m-manylinux1_x86_64.whl
Algorithm Hash digest
SHA256 455ff7b84f1c45627d2721638eb21a94e578a0a846d4370a7645f9c742483aca
MD5 36dc2332dc7379e88b24bef0e2b95980
BLAKE2b-256 653c1d3fcefe2bb99b06c2fcf2f71c20d96ce2c977e94b2deb18539e31893047

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for PyBoolector-3.2.1.20201030.2-cp35-cp35m-manylinux1_x86_64.whl
Algorithm Hash digest
SHA256 460ecc0bbda97447bdf256da8fce21d35d5c96e85cdeeac557059982ff6c14fc
MD5 f6216d3a95291cf068b52d87ea126fd1
BLAKE2b-256 111eb11f4639f92dae9f29529bd92212271777635c9b6e3c6e4c2c1e10248b9f

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