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

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

This version

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.20200520.1.tar.gz (20.2 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.20200520.1-cp38-cp38-manylinux1_x86_64.whl (1.8 MB view details)

Uploaded CPython 3.8

PyBoolector-3.2.1.20200520.1-cp37-cp37m-manylinux1_x86_64.whl (1.7 MB view details)

Uploaded CPython 3.7m

PyBoolector-3.2.1.20200520.1-cp36-cp36m-manylinux1_x86_64.whl (1.7 MB view details)

Uploaded CPython 3.6m

PyBoolector-3.2.1.20200520.1-cp35-cp35m-manylinux1_x86_64.whl (1.7 MB view details)

Uploaded CPython 3.5m

File details

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

File metadata

  • Download URL: PyBoolector-3.2.1.20200520.1.tar.gz
  • Upload date:
  • Size: 20.2 kB
  • Tags: Source
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/3.1.1 pkginfo/1.5.0.1 requests/2.23.0 setuptools/46.4.0 requests-toolbelt/0.9.1 tqdm/4.46.0 CPython/3.6.9

File hashes

Hashes for PyBoolector-3.2.1.20200520.1.tar.gz
Algorithm Hash digest
SHA256 5eb5cee03fe2cd5c43fd2119413c595cbcf193252b5d243b1cc759bfd6bfd664
MD5 2672d662579c486fdf9be6a97a77159e
BLAKE2b-256 901a427363cc0a0894b63aae16ce6693e1b854f492f7d06e398caa8b94d88f1c

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for PyBoolector-3.2.1.20200520.1-cp38-cp38-manylinux1_x86_64.whl
Algorithm Hash digest
SHA256 bf36a603687e72eea27f3c5e7669586a7443d1538bb754ea70847e6ffa4e6c04
MD5 bda023bc34e8b4e1282797e05e22cb26
BLAKE2b-256 b865196465986983df3ed8f8efc6dd3e047a03d86fd03e8b114153076be0cff7

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for PyBoolector-3.2.1.20200520.1-cp37-cp37m-manylinux1_x86_64.whl
Algorithm Hash digest
SHA256 d4c462f7e16556de1cf91ba755b9404dfdeb99412f232a9dc91cbe665d3c6bcb
MD5 4014400a4869486d9cfb53355db32d2d
BLAKE2b-256 c8091c203027a7b7cbb9753fb90f9caf79d53b1bdbd7c4018269b72f310838e8

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for PyBoolector-3.2.1.20200520.1-cp36-cp36m-manylinux1_x86_64.whl
Algorithm Hash digest
SHA256 b5f7c972e667a0361c74c86b69681e75b8ba73327b0359a88187ca36a2afab40
MD5 32881da0e40795aa6bfed65e1f756867
BLAKE2b-256 2960969db33809f3ab677dbd11866a713b342f62c841e81e8490a18172232a15

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for PyBoolector-3.2.1.20200520.1-cp35-cp35m-manylinux1_x86_64.whl
Algorithm Hash digest
SHA256 9553e6bbf7990522766ea0307ed5b9303e369411e88fdc0a25fd68dc3af7a187
MD5 435dbf6a4dafdcca49176e5a54c85130
BLAKE2b-256 5e68756f2d84e1484d3ac918d0ff73a97c17e249b715a71c74b878abb3c448a1

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