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

This version

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

Uploaded CPython 3.8

PyBoolector-3.2.1.20200907.9-cp38-cp38-macosx_10_15_x86_64.whl (1.2 MB view details)

Uploaded CPython 3.8macOS 10.15+ x86-64

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

Uploaded CPython 3.7m

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

Uploaded CPython 3.6m

PyBoolector-3.2.1.20200907.9-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.20200907.9.tar.gz.

File metadata

  • Download URL: PyBoolector-3.2.1.20200907.9.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/50.3.0 requests-toolbelt/0.9.1 tqdm/4.48.2 CPython/3.6.9

File hashes

Hashes for PyBoolector-3.2.1.20200907.9.tar.gz
Algorithm Hash digest
SHA256 555fba38b8b527781a1500cd4713006dd44cd991292320880af9c11b7e29303a
MD5 9284275e7dd15f66fe38a8050f22665e
BLAKE2b-256 def3c5c5c05b27d274d3a1de70c3699ce4706ac9b1ede50d8dadd2c91b32294d

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for PyBoolector-3.2.1.20200907.9-cp38-cp38-manylinux1_x86_64.whl
Algorithm Hash digest
SHA256 06321ca13f664d99d95d9aee112b9a63b1fb95455c5181e2e10b6a06a086f1cf
MD5 a8d7b467f36563ed749b1675bc87f63c
BLAKE2b-256 c0aa007e6e665ed8976329039d8f571cd514f8dca06fc82418d92f33da6a6bc2

See more details on using hashes here.

File details

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

File metadata

  • Download URL: PyBoolector-3.2.1.20200907.9-cp38-cp38-macosx_10_15_x86_64.whl
  • Upload date:
  • Size: 1.2 MB
  • Tags: CPython 3.8, macOS 10.15+ x86-64
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/3.2.0 pkginfo/1.5.0.1 requests/2.24.0 setuptools/49.2.0 requests-toolbelt/0.9.1 tqdm/4.48.2 CPython/3.8.5

File hashes

Hashes for PyBoolector-3.2.1.20200907.9-cp38-cp38-macosx_10_15_x86_64.whl
Algorithm Hash digest
SHA256 4cf6904b0476b3ad15d1668b68973dde48cedd2438d6d54aa123a81c56f9d336
MD5 8cca5e69f3945e7306dc700a8f7d567b
BLAKE2b-256 0a4dba4e1602eb9104996d463dcb9053e8b88f5d2477bbf7d31cbf2afc847131

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for PyBoolector-3.2.1.20200907.9-cp37-cp37m-manylinux1_x86_64.whl
Algorithm Hash digest
SHA256 4db6a13295f418f409445f3ce9074410a90ae04b33fc72e8869dd2b3958807f5
MD5 a182e9bf6b09928a79c243a29e57100e
BLAKE2b-256 15d1fd87b2c12271d10aee2a28db068bb6a8d281cf09f0abcc551bc88af4945c

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for PyBoolector-3.2.1.20200907.9-cp36-cp36m-manylinux1_x86_64.whl
Algorithm Hash digest
SHA256 42f5f0375957c8bb14012571f6a56902487507b809262b3da4af57af2f16fa9f
MD5 5590cd994a8c7849d0f159c713ec1dff
BLAKE2b-256 64a9493602836fe99018b4d2119ca6c34b9b5afbb624cdf7c984ee9876726252

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for PyBoolector-3.2.1.20200907.9-cp35-cp35m-manylinux1_x86_64.whl
Algorithm Hash digest
SHA256 c8b34c982795f22ec978a8c8fab422e4c9a5fa2aa0089b21faaa4c4bbda2974a
MD5 d02d76df1f6aaaecc136f75c1f157078
BLAKE2b-256 61fcf586288e624b0b4111e9b24080f4b0d2613ae5812dc0880b111254ef3a88

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