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 PyPi

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

This version

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

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.20210513.3.tar.gz (20.4 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.20210513.3-cp39-cp39-manylinux_2_12_x86_64.manylinux2010_x86_64.whl (2.3 MB view details)

Uploaded CPython 3.9manylinux: glibc 2.12+ x86-64

PyBoolector-3.2.1.20210513.3-cp39-cp39-macosx_10_15_x86_64.whl (632.9 kB view details)

Uploaded CPython 3.9macOS 10.15+ x86-64

PyBoolector-3.2.1.20210513.3-cp38-cp38-manylinux_2_12_x86_64.manylinux2010_x86_64.whl (2.5 MB view details)

Uploaded CPython 3.8manylinux: glibc 2.12+ x86-64

PyBoolector-3.2.1.20210513.3-cp37-cp37m-manylinux_2_12_x86_64.manylinux2010_x86_64.whl (2.1 MB view details)

Uploaded CPython 3.7mmanylinux: glibc 2.12+ x86-64

PyBoolector-3.2.1.20210513.3-cp36-cp36m-manylinux_2_12_x86_64.manylinux2010_x86_64.whl (2.1 MB view details)

Uploaded CPython 3.6mmanylinux: glibc 2.12+ x86-64

File details

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

File metadata

  • Download URL: PyBoolector-3.2.1.20210513.3.tar.gz
  • Upload date:
  • Size: 20.4 kB
  • Tags: Source
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/3.4.1 importlib_metadata/4.0.1 pkginfo/1.7.0 requests/2.22.0 requests-toolbelt/0.9.1 tqdm/4.60.0 CPython/3.8.5

File hashes

Hashes for PyBoolector-3.2.1.20210513.3.tar.gz
Algorithm Hash digest
SHA256 fdf5ab23a98303608e76e0fc2b327dcad0e38327b70796ba0041cca3691486f8
MD5 6dfc71c94979d736c78a38eacc82d69e
BLAKE2b-256 844051b9474966c3509d36a0bb442782cdb7e49a813b23f49638a8a6c5a23407

See more details on using hashes here.

File details

Details for the file PyBoolector-3.2.1.20210513.3-cp39-cp39-manylinux_2_12_x86_64.manylinux2010_x86_64.whl.

File metadata

File hashes

Hashes for PyBoolector-3.2.1.20210513.3-cp39-cp39-manylinux_2_12_x86_64.manylinux2010_x86_64.whl
Algorithm Hash digest
SHA256 01c89bc22ebeacba999bcd2e070a223a460422f0ffa3b1b76f17b188af927f32
MD5 06cd26279dc68bfc1cceb6121a3792e9
BLAKE2b-256 63b85e0b4bcc80e4d62172d14da978151085a3e4b402921e84ffd74b65330e58

See more details on using hashes here.

File details

Details for the file PyBoolector-3.2.1.20210513.3-cp39-cp39-macosx_10_15_x86_64.whl.

File metadata

  • Download URL: PyBoolector-3.2.1.20210513.3-cp39-cp39-macosx_10_15_x86_64.whl
  • Upload date:
  • Size: 632.9 kB
  • Tags: CPython 3.9, macOS 10.15+ x86-64
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/3.4.1 importlib_metadata/4.0.1 pkginfo/1.7.0 requests/2.25.1 requests-toolbelt/0.9.1 tqdm/4.60.0 CPython/3.9.5

File hashes

Hashes for PyBoolector-3.2.1.20210513.3-cp39-cp39-macosx_10_15_x86_64.whl
Algorithm Hash digest
SHA256 b304c4b35550535f0ca91ea88a8f1e26379989f2be9a147ec92783a2512ce112
MD5 833a97fed6febd2312393257e4cae1bf
BLAKE2b-256 c9681958cfb0ae8c1261b90e6ec799905ce205cd72416a3e9daa02a76b7d23d0

See more details on using hashes here.

File details

Details for the file PyBoolector-3.2.1.20210513.3-cp38-cp38-manylinux_2_12_x86_64.manylinux2010_x86_64.whl.

File metadata

File hashes

Hashes for PyBoolector-3.2.1.20210513.3-cp38-cp38-manylinux_2_12_x86_64.manylinux2010_x86_64.whl
Algorithm Hash digest
SHA256 164269a9933ea208480ca13d1ec1f8e8fb1bb4a3d46a6806aab83d82bdc9797c
MD5 100cf2fd964755ba865878d6aa8200e7
BLAKE2b-256 551f09afc83b09f0b93030273e1dba439eeb11c0f166d4bd443f6436e0caf38e

See more details on using hashes here.

File details

Details for the file PyBoolector-3.2.1.20210513.3-cp37-cp37m-manylinux_2_12_x86_64.manylinux2010_x86_64.whl.

File metadata

File hashes

Hashes for PyBoolector-3.2.1.20210513.3-cp37-cp37m-manylinux_2_12_x86_64.manylinux2010_x86_64.whl
Algorithm Hash digest
SHA256 096865790e250fd44c6c8411abbcd489bc5b2fcd2c6e319c3b4dcab275a88c13
MD5 450bda25fb3cb243404de017fa8dd1d1
BLAKE2b-256 107f97bde8c80847686535dfa334fd9710a046fb7a51b5d4497d91175d3e8b4f

See more details on using hashes here.

File details

Details for the file PyBoolector-3.2.1.20210513.3-cp36-cp36m-manylinux_2_12_x86_64.manylinux2010_x86_64.whl.

File metadata

File hashes

Hashes for PyBoolector-3.2.1.20210513.3-cp36-cp36m-manylinux_2_12_x86_64.manylinux2010_x86_64.whl
Algorithm Hash digest
SHA256 527adee7d9282e04d29bc2c6736a2c2043529350b0b15c138ac4ea2d7c0104f4
MD5 7556adec24758ced1280ca86b21bd9c6
BLAKE2b-256 905c77df5266d5e4f86e4cdcf8a2a6f84f8ba30df5a8948a7fd65b4abcd3be54

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