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
  • License: MIT License (MIT License)
  • Maintainer: Matthew Ballance
  • Requires: Python >=2.7, !=3.0.*, !=3.1.*, !=3.2.*, !=3.3.*
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
  • License: MIT License (MIT License)
  • Maintainer: Matthew Ballance
  • Requires: Python >=2.7, !=3.0.*, !=3.1.*, !=3.2.*, !=3.3.*
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

This version

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

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.2.20230105.5.tar.gz (21.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.2.20230105.5-cp311-cp311-macosx_10_9_universal2.whl (848.3 kB view details)

Uploaded CPython 3.11macOS 10.9+ universal2 (ARM64, x86-64)

PyBoolector-3.2.2.20230105.5-cp310-cp310-manylinux_2_17_ppc64le.manylinux2014_ppc64le.whl (2.5 MB view details)

Uploaded CPython 3.10manylinux: glibc 2.17+ ppc64le

PyBoolector-3.2.2.20230105.5-cp310-cp310-manylinux_2_12_x86_64.manylinux2010_x86_64.whl (2.2 MB view details)

Uploaded CPython 3.10manylinux: glibc 2.12+ x86-64

PyBoolector-3.2.2.20230105.5-cp39-cp39-manylinux_2_17_ppc64le.manylinux2014_ppc64le.whl (2.5 MB view details)

Uploaded CPython 3.9manylinux: glibc 2.17+ ppc64le

PyBoolector-3.2.2.20230105.5-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.2.20230105.5-cp38-cp38-manylinux_2_17_ppc64le.manylinux2014_ppc64le.whl (2.5 MB view details)

Uploaded CPython 3.8manylinux: glibc 2.17+ ppc64le

PyBoolector-3.2.2.20230105.5-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.2.20230105.5-cp37-cp37m-manylinux_2_17_ppc64le.manylinux2014_ppc64le.whl (2.4 MB view details)

Uploaded CPython 3.7mmanylinux: glibc 2.17+ ppc64le

PyBoolector-3.2.2.20230105.5-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.2.20230105.5-cp36-cp36m-manylinux_2_17_ppc64le.manylinux2014_ppc64le.whl (2.4 MB view details)

Uploaded CPython 3.6mmanylinux: glibc 2.17+ ppc64le

PyBoolector-3.2.2.20230105.5-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.2.20230105.5.tar.gz.

File metadata

  • Download URL: PyBoolector-3.2.2.20230105.5.tar.gz
  • Upload date:
  • Size: 21.5 kB
  • Tags: Source
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/4.0.2 CPython/3.10.6

File hashes

Hashes for PyBoolector-3.2.2.20230105.5.tar.gz
Algorithm Hash digest
SHA256 d65c971f7b86d6f26b02860649d244ff53ec8e7dca1ff27caa233af45e54151b
MD5 57357cf9476c50f8bc162bb1691ad6fb
BLAKE2b-256 ade341968f68263ad5cfb84c4faf7526beb0f456bf23b3b600f3063b3c785243

See more details on using hashes here.

File details

Details for the file PyBoolector-3.2.2.20230105.5-cp311-cp311-macosx_10_9_universal2.whl.

File metadata

File hashes

Hashes for PyBoolector-3.2.2.20230105.5-cp311-cp311-macosx_10_9_universal2.whl
Algorithm Hash digest
SHA256 6dd4388fb563bd917596442553389edc0c4bb1b55dbf644b4218fea872735390
MD5 fbed8635b69e55eb91f4a2eb8ce41cee
BLAKE2b-256 401e763277e5ca8361b161469f57b217e3959228dcb6d6790562bcbe530b65c3

See more details on using hashes here.

File details

Details for the file PyBoolector-3.2.2.20230105.5-cp310-cp310-manylinux_2_17_ppc64le.manylinux2014_ppc64le.whl.

File metadata

File hashes

Hashes for PyBoolector-3.2.2.20230105.5-cp310-cp310-manylinux_2_17_ppc64le.manylinux2014_ppc64le.whl
Algorithm Hash digest
SHA256 2d6b2cb4df93318c91ebedd50ebb6ce8e0c9898350fdff21879543720bdbb5d3
MD5 e6ca85f9c120a104c682d64f572df034
BLAKE2b-256 9518a39e68fed62d31651321ea80bb63b1deee17f900a22de59327db955003c4

See more details on using hashes here.

File details

Details for the file PyBoolector-3.2.2.20230105.5-cp310-cp310-manylinux_2_12_x86_64.manylinux2010_x86_64.whl.

File metadata

File hashes

Hashes for PyBoolector-3.2.2.20230105.5-cp310-cp310-manylinux_2_12_x86_64.manylinux2010_x86_64.whl
Algorithm Hash digest
SHA256 bed944e43c69ff2c4b1e7bf49906e0c63c8982abc64499debb045237ae20c98d
MD5 598d49c9e21ce58e182b481171044ef5
BLAKE2b-256 c831ede12d0749575c4bd0ce8aeaa249e2b74118c3f6747889d4f2d46445232f

See more details on using hashes here.

File details

Details for the file PyBoolector-3.2.2.20230105.5-cp39-cp39-manylinux_2_17_ppc64le.manylinux2014_ppc64le.whl.

File metadata

File hashes

Hashes for PyBoolector-3.2.2.20230105.5-cp39-cp39-manylinux_2_17_ppc64le.manylinux2014_ppc64le.whl
Algorithm Hash digest
SHA256 9228bb7c5071fd83ff8044431e8a104998f61b908691e51328edfdfc55210d44
MD5 a6de504e2ea78727f9dfa00acea6a67a
BLAKE2b-256 f6108b494532412260feadcdc8c05ee32c31d6723931a48fd031c1ee1b50c872

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for PyBoolector-3.2.2.20230105.5-cp39-cp39-manylinux_2_12_x86_64.manylinux2010_x86_64.whl
Algorithm Hash digest
SHA256 3e921ee3929693035ab60c679e2ce8f5e5c75f3dede66ba586e72c225c8d3f80
MD5 bed55a46f87095437df49292f631b102
BLAKE2b-256 4cd53c3ce97306df8f8acd1e6aae5164c331ea7049b79b7abe81353d8e6ba9c1

See more details on using hashes here.

File details

Details for the file PyBoolector-3.2.2.20230105.5-cp38-cp38-manylinux_2_17_ppc64le.manylinux2014_ppc64le.whl.

File metadata

File hashes

Hashes for PyBoolector-3.2.2.20230105.5-cp38-cp38-manylinux_2_17_ppc64le.manylinux2014_ppc64le.whl
Algorithm Hash digest
SHA256 54f064178ffaa7330e57aa92845ef1f699851a5726636425e4fed3f2c191d4ac
MD5 20da7c3851bfd651e5c8b093af6400d4
BLAKE2b-256 2a58dab7b8cceed78d77615f9ab33173869bb246daf07bb937b685eef74ae60b

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for PyBoolector-3.2.2.20230105.5-cp38-cp38-manylinux_2_12_x86_64.manylinux2010_x86_64.whl
Algorithm Hash digest
SHA256 d95296d20da7089a1daac1947ba92e1b2336a8559d182fd32639da452cb3773b
MD5 35ca3f0ac69b68c4e1e2aaa1247c6a0f
BLAKE2b-256 2d28ead2d64dbd57bf331b5c28130d2d3fb7dfb226c24606278e18c9b4734d27

See more details on using hashes here.

File details

Details for the file PyBoolector-3.2.2.20230105.5-cp37-cp37m-manylinux_2_17_ppc64le.manylinux2014_ppc64le.whl.

File metadata

File hashes

Hashes for PyBoolector-3.2.2.20230105.5-cp37-cp37m-manylinux_2_17_ppc64le.manylinux2014_ppc64le.whl
Algorithm Hash digest
SHA256 5f03a9f9e3bfbacef9ffcb91ad74b5c3bfb599e37e9475381569aeebd3bd735d
MD5 d1f6575526fd7ffd8d6a1903a5678f39
BLAKE2b-256 d18b0469805418dd624dd83c09da2b56fa9757cba6fc19290f45a3ae780a4920

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for PyBoolector-3.2.2.20230105.5-cp37-cp37m-manylinux_2_12_x86_64.manylinux2010_x86_64.whl
Algorithm Hash digest
SHA256 a63d3f4b118bdc4525fb8eaac8024034ef60804bd7265dddde5cc4931a607497
MD5 f26d043437947abe9f68915bf30bb108
BLAKE2b-256 18de3dba2c2582b13c5dfc45128f63be40aaa1a34d1fb7a6ea83f4917c72c35a

See more details on using hashes here.

File details

Details for the file PyBoolector-3.2.2.20230105.5-cp36-cp36m-manylinux_2_17_ppc64le.manylinux2014_ppc64le.whl.

File metadata

File hashes

Hashes for PyBoolector-3.2.2.20230105.5-cp36-cp36m-manylinux_2_17_ppc64le.manylinux2014_ppc64le.whl
Algorithm Hash digest
SHA256 c67606977849ab72b2f3dee7ebf40eb4e837f940cff285b78489314b6b01816a
MD5 6e5ee51254f6e742825edd44232f7854
BLAKE2b-256 a0ace4defbfada0d239654571b5765917ad7f662a05c0aab735f2f6bbaa9a774

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for PyBoolector-3.2.2.20230105.5-cp36-cp36m-manylinux_2_12_x86_64.manylinux2010_x86_64.whl
Algorithm Hash digest
SHA256 f5f3994048e7d4fd23c7714debd70b3f8ffd668852e06ac332e1ad7ecd1b02e1
MD5 185e20df025eaa9c9dd61d504b0cddba
BLAKE2b-256 c7bf5b85a493ca0bdb3e2402a69dee8f4244bfdd2aa7a63dbb41ec53c11b9aa5

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