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

This version

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

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.20230110.2.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.20230110.2-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.20230110.2-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.20230110.2-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.20230110.2-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.20230110.2-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.20230110.2-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.20230110.2-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.20230110.2-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.20230110.2-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.20230110.2-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.20230110.2-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.20230110.2.tar.gz.

File metadata

  • Download URL: PyBoolector-3.2.2.20230110.2.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.20230110.2.tar.gz
Algorithm Hash digest
SHA256 ebf7726f6b0b501063aba21d941eaef02af1ee7ff0d7e18a907a043d166f16ea
MD5 7daf3dfa68a5597cf63aacc6fbc21006
BLAKE2b-256 cd96b36b83428fc59e42b1943d4f13105106eb36fb167bd1a047e8ede983444f

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for PyBoolector-3.2.2.20230110.2-cp311-cp311-macosx_10_9_universal2.whl
Algorithm Hash digest
SHA256 67fdbae97ce014822ef2ad77f20a248b4aa4c70a7fd83889dba329eef0792b86
MD5 b5a83da36b64609127a1d25f7fa97c00
BLAKE2b-256 4216ffc0b784f39d9af93ad334a16a2b7514362a3e8d3b600121927ed0b00e24

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for PyBoolector-3.2.2.20230110.2-cp310-cp310-manylinux_2_17_ppc64le.manylinux2014_ppc64le.whl
Algorithm Hash digest
SHA256 8cb97b26f092b163f71beb53c6003091f2fc3467a46520b9b231f9039f719c68
MD5 58a1767cd64b312c3f3786cb8ac00b92
BLAKE2b-256 2809790f381cf5c99f49b7641c6ca344e5f0d28e0f02ce6e6cbb85065347179e

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for PyBoolector-3.2.2.20230110.2-cp310-cp310-manylinux_2_12_x86_64.manylinux2010_x86_64.whl
Algorithm Hash digest
SHA256 6826aee04db1eff849230c1f68bb602553fff19a2721e32bb44f3ead812e9d49
MD5 3f09c628a61a00f80e261a41f5f9efbf
BLAKE2b-256 a2418e017a532a7f83655b538b79bb47ef0d12d5726e0c8d3332e2cd86143381

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for PyBoolector-3.2.2.20230110.2-cp39-cp39-manylinux_2_17_ppc64le.manylinux2014_ppc64le.whl
Algorithm Hash digest
SHA256 2f6951821b718969351a5c3262e503b6e4c59c6fbfbdf027278852d0d16e6779
MD5 9f1a81dbdd68f2ef6a5f5ead696dca9f
BLAKE2b-256 fe327f0c8c540fd8b8fb26510ff633fa84c06211b6db7c2a70c32169cdd44d3e

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for PyBoolector-3.2.2.20230110.2-cp39-cp39-manylinux_2_12_x86_64.manylinux2010_x86_64.whl
Algorithm Hash digest
SHA256 4f3884428d22f8dbf6ec0f234220070b8b534bb40e2507c4fac1cc94114ed6c4
MD5 33411f05283ba24ba86c13ac71f08c52
BLAKE2b-256 66a024e5f48d75ba4bdf91af735e2c20f143c6f1209023fd7218e30f61c86f5b

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for PyBoolector-3.2.2.20230110.2-cp38-cp38-manylinux_2_17_ppc64le.manylinux2014_ppc64le.whl
Algorithm Hash digest
SHA256 8b132b12357a9131dae097bbf85d16a5d7385f01e7c377e885186bf6297bd7c9
MD5 271c44dc9e09506698a094739f0dfdd2
BLAKE2b-256 9f8dc3d3055ca77b3719c0259adce74f308e1c1cf58084f45935c4440b569714

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for PyBoolector-3.2.2.20230110.2-cp38-cp38-manylinux_2_12_x86_64.manylinux2010_x86_64.whl
Algorithm Hash digest
SHA256 8d98ea24b077eb2d903d9100d2bf609ec10c335f49f345050686886a7197554a
MD5 c7515bb05a15bf136ec60b452ef6cb2e
BLAKE2b-256 515cd71a419aea2fce14ec0fc093b7975b14857d34d61d57919bbe179b4cf395

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for PyBoolector-3.2.2.20230110.2-cp37-cp37m-manylinux_2_17_ppc64le.manylinux2014_ppc64le.whl
Algorithm Hash digest
SHA256 dbe4c58066979e0fac75f1fbccd76513dcc02952968ee28dbbd13882d75a7359
MD5 55c6bab0ba5a7db9a68207b30312ee40
BLAKE2b-256 74c5e9dffb45a270034e5ae775cc761f7ca34ba30fcf77b1658e3d652748fb5a

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for PyBoolector-3.2.2.20230110.2-cp37-cp37m-manylinux_2_12_x86_64.manylinux2010_x86_64.whl
Algorithm Hash digest
SHA256 4862efef890cb9ee91f55bc4a19c4d0fe05b6a4ebcf91b214dabe5d514a426ee
MD5 a4e900c82015688ac8047ffda6e170f2
BLAKE2b-256 85badbe4325bd825b055195efd129b7b8b0a082274324417343be10d212be91f

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for PyBoolector-3.2.2.20230110.2-cp36-cp36m-manylinux_2_17_ppc64le.manylinux2014_ppc64le.whl
Algorithm Hash digest
SHA256 2fc9e5927bd8a8359bd7314b3bdddca683635f1ee749b487a3a37ad181d1a529
MD5 a95a6962f3a6ef568f009a40b70809fd
BLAKE2b-256 20efbf2759a9be65c9df63f42ae92129803b6f0fd23a2c79d3ebaa7513aafc36

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for PyBoolector-3.2.2.20230110.2-cp36-cp36m-manylinux_2_12_x86_64.manylinux2010_x86_64.whl
Algorithm Hash digest
SHA256 e9ebde0222a7fb552d7b14772ef224ccba3e7711783a5f297c3e1902ce30bd47
MD5 0828a51ebebc2cdf559e0429d64d7c36
BLAKE2b-256 9d1632d5a7b7bb322a9f4e73cb29fe1bc11bbea9b653a5c15f077b0c7385042d

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