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

This version

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

Uploaded CPython 3.8

PyBoolector-3.2.1.20200907.8-cp38-cp38-macosx_10_15_x86_64.whl (5.4 kB view details)

Uploaded CPython 3.8macOS 10.15+ x86-64

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

Uploaded CPython 3.7m

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

Uploaded CPython 3.6m

PyBoolector-3.2.1.20200907.8-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.8.tar.gz.

File metadata

  • Download URL: PyBoolector-3.2.1.20200907.8.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.8.tar.gz
Algorithm Hash digest
SHA256 4f67e44d8675bc0e790046ba1506fa9e85828d47cbca49ed79c792b8d0f7956d
MD5 3ec0f8c5e3c809f459e80a24eac653f6
BLAKE2b-256 e0d0729a120e971fb30c2dfb55d0f7bd639750fa667315f3f1ae1eac76932008

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for PyBoolector-3.2.1.20200907.8-cp38-cp38-manylinux1_x86_64.whl
Algorithm Hash digest
SHA256 064eed7834b6a2831c1409a92b10499602a2bee5f4a51fb621b46714d7a52755
MD5 1c76afb06928a99e304a00469d3ea546
BLAKE2b-256 c97c10266eb31fe3d7c43c642c1a00e948d5f576d51cde274d886afab5e3af95

See more details on using hashes here.

File details

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

File metadata

  • Download URL: PyBoolector-3.2.1.20200907.8-cp38-cp38-macosx_10_15_x86_64.whl
  • Upload date:
  • Size: 5.4 kB
  • 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.8-cp38-cp38-macosx_10_15_x86_64.whl
Algorithm Hash digest
SHA256 bae45f6df1d6452cc195e4b864cf52ff0fdc0fceb2d474f5dfb04e517cdce212
MD5 94fe9a5dc0e2413a4fa905734c449137
BLAKE2b-256 abf2206aedd45cbdc87436fb26476fd7d5e39d0e2ce1e654bdf2e16860a153cd

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for PyBoolector-3.2.1.20200907.8-cp37-cp37m-manylinux1_x86_64.whl
Algorithm Hash digest
SHA256 7585723e49b60de641d15237d18ec87284bfa22df88bd79e1b7647b68df68b58
MD5 de1750853631df42eafde77d5efc5af8
BLAKE2b-256 eba2356aa6905df97c409d2522dc7b5a2e89ac12e4f031059a8d89d24590c663

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for PyBoolector-3.2.1.20200907.8-cp36-cp36m-manylinux1_x86_64.whl
Algorithm Hash digest
SHA256 3d1a020a1266a4d306ff8b4071a994b85a8c3f870194e40d59ee6e8a13ee3495
MD5 815812d36bb421bda44bc84f6ef7bf35
BLAKE2b-256 64086b3decab99fb6a8ddfa71253bc6c844b88e43d97f4bb02b5d49fcd4260fc

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for PyBoolector-3.2.1.20200907.8-cp35-cp35m-manylinux1_x86_64.whl
Algorithm Hash digest
SHA256 6f5b3f88273ebd435f37208583086ccc8d3910afb0c924007e999a2c8909baed
MD5 e57f293dd03b59f415b31e53344b1bd0
BLAKE2b-256 486201cd999c347b906e1cffb258754cfcc1b77c64486fa10891bd088a56201f

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