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

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

This version

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.20200410.3.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.20200410.3-cp38-cp38-manylinux1_x86_64.whl (1.7 MB view details)

Uploaded CPython 3.8

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

Uploaded CPython 3.7m

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

Uploaded CPython 3.6m

PyBoolector-3.2.1.20200410.3-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.20200410.3.tar.gz.

File metadata

  • Download URL: PyBoolector-3.2.1.20200410.3.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.1.3 requests-toolbelt/0.9.1 tqdm/4.45.0 CPython/3.6.9

File hashes

Hashes for PyBoolector-3.2.1.20200410.3.tar.gz
Algorithm Hash digest
SHA256 7081e9ff8d791f9313e0fbb5540cd33336b3dd0d277aa5495153dcd8f6568d95
MD5 b1258463821cc4bba41be4bfb33f7e7f
BLAKE2b-256 e99b8315c29e56f9f8474080fa72b02efd1f65eea3f75aab2f842f789bd0149d

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for PyBoolector-3.2.1.20200410.3-cp38-cp38-manylinux1_x86_64.whl
Algorithm Hash digest
SHA256 8e13b989c12a319eba819e1480a427687ca865ead56d9d2cd087b752d427bb2d
MD5 fc6e9410d2a572ed866818efa8eeeee3
BLAKE2b-256 5b7c973845953db41e08a0ad8e99f8e60585af20beefe8c106981e807dd8d8d2

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for PyBoolector-3.2.1.20200410.3-cp37-cp37m-manylinux1_x86_64.whl
Algorithm Hash digest
SHA256 04a64086987ebcd18f63bf92b4ea6fd868a2eb7a873a821d0a08e0f4bf205c53
MD5 b3571321ba15513b8636ba56bc93a6d4
BLAKE2b-256 f87eae662d640683d6f999a7dfcdf641ca4b8d8c03f4bc7b599d68e00cc48849

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for PyBoolector-3.2.1.20200410.3-cp36-cp36m-manylinux1_x86_64.whl
Algorithm Hash digest
SHA256 443ddc379130ec1ee1ef7928c77ba71646a66ebb7b53f5efc8cd133cfec241a0
MD5 6d8b5ad73e0ccb2fd724eb6ac19346a1
BLAKE2b-256 7759123c05260487226c3806f2b5ad400dcdc017ee6d7e59625a793026ceb763

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for PyBoolector-3.2.1.20200410.3-cp35-cp35m-manylinux1_x86_64.whl
Algorithm Hash digest
SHA256 0d2f1c36aa2fbeea2559ae789f8edf016d6e491090b4c708b5a9dd08acdf2751
MD5 9a337137864fd610a0568de36624211f
BLAKE2b-256 35fd103588b4692f4d3cf6e586b3b528f63f6464cacb93353a957e381626543b

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