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

This version

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.20200826.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.20200826.2-cp38-cp38-manylinux1_x86_64.whl (1.8 MB view details)

Uploaded CPython 3.8

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

Uploaded CPython 3.7m

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

Uploaded CPython 3.6m

PyBoolector-3.2.1.20200826.2-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.20200826.2.tar.gz.

File metadata

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

File hashes

Hashes for PyBoolector-3.2.1.20200826.2.tar.gz
Algorithm Hash digest
SHA256 6a5bb4c96cce0fb6965d77a8a99cfb0839389e62a635cb4f1e96ddf393109d41
MD5 c50c82197fec513ed59ef336460bc23c
BLAKE2b-256 5a555ff17792cf4683a92d26b635d59ed926d26f8143b0b8f141fe779d05cec6

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for PyBoolector-3.2.1.20200826.2-cp38-cp38-manylinux1_x86_64.whl
Algorithm Hash digest
SHA256 d1628f988a323108644306269ba6222a157001ff70414ccf4168222da43f7a3d
MD5 7c599f1941ecd7dd3f345310274cca62
BLAKE2b-256 d0812858883576694a795551200f25cb097de7f3739568784a31a66be4d33f55

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for PyBoolector-3.2.1.20200826.2-cp37-cp37m-manylinux1_x86_64.whl
Algorithm Hash digest
SHA256 d8a54728a34ce560ebf0fb2283bf39866fb2c963016f12be0e107b37f4322e2a
MD5 72efaaac9c55da4958a5cb8718dbf104
BLAKE2b-256 a34c21a79cd59b5f7e05818eedc0ff269cc7ebfcbb31b1eca5baa1617dd1859a

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for PyBoolector-3.2.1.20200826.2-cp36-cp36m-manylinux1_x86_64.whl
Algorithm Hash digest
SHA256 92230a1888483a27f1c214bb6d79e3db9e230af147469e7b66fbd8822d856d52
MD5 605bf2170299e7c5cce6697a0467d4ee
BLAKE2b-256 5146872427b58276e5471ab0d9a2984ce05e9a6c00d29a7d55605906e08120d8

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for PyBoolector-3.2.1.20200826.2-cp35-cp35m-manylinux1_x86_64.whl
Algorithm Hash digest
SHA256 06d65a3f90e55c6c30c609f28ed145c5f2c00a1dcb32c6604ebbc82a058cd241
MD5 a47c16e48a9ef80f82d136a2a1c40d17
BLAKE2b-256 1824cd0d5d5ca9456cded6f2f9c34e6264b44cd8be09c37554a6929690095da4

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