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

3.2.2.20230105.5

3.2.2.20230105.4

This version

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.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.20230105.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.20230105.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.20230105.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.20230105.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.20230105.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.20230105.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.20230105.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.20230105.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.20230105.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.20230105.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.20230105.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.20230105.2.tar.gz.

File metadata

  • Download URL: PyBoolector-3.2.2.20230105.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.20230105.2.tar.gz
Algorithm Hash digest
SHA256 515ec2dd709d03ddd2778212f995a1f7f56c568042bcabad5b70ccaabb3ffcb6
MD5 b64e138d2094abda4e8bec76137dabf6
BLAKE2b-256 16622295213f226f89be7db8e08a0073607d714d099dd4002b1309dbfb25b9f7

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for PyBoolector-3.2.2.20230105.2-cp311-cp311-macosx_10_9_universal2.whl
Algorithm Hash digest
SHA256 d004eae6f569cf0ed212aa9dc4381af8e6202f1588ebd1db041d0efd321cc3b0
MD5 4b909229ebcad9f3f6e2045f35436c57
BLAKE2b-256 95e3301fe933141a4e84e47d0b577cd1148f35793acf4076d4b9c198ac594f48

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for PyBoolector-3.2.2.20230105.2-cp310-cp310-manylinux_2_17_ppc64le.manylinux2014_ppc64le.whl
Algorithm Hash digest
SHA256 885229027074b84a8a2bfa4a6167d22239e7aae94e359d0983c75cd4ec0811ef
MD5 32943970bddbff34169f1314af3de255
BLAKE2b-256 9cdb902fd79c2b750740cfdca84b6394f5053271015b72aaef94c78e1fa9f751

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for PyBoolector-3.2.2.20230105.2-cp310-cp310-manylinux_2_12_x86_64.manylinux2010_x86_64.whl
Algorithm Hash digest
SHA256 0723dfbf8a851d5ff759934094a4a6f89b4d00f84d93367a6c48fd19ffa9a442
MD5 a994c86b5f7284bd0a342cf826f31b4f
BLAKE2b-256 83bd6c2e853f77d8beb721dadfa2eab831e1a48a9dd674b9d95efb925767abb1

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for PyBoolector-3.2.2.20230105.2-cp39-cp39-manylinux_2_17_ppc64le.manylinux2014_ppc64le.whl
Algorithm Hash digest
SHA256 ede01f7ed52074428e2425a9d59e1cbdfe220e9b3a7d8a3bdf4227fa43e1fc90
MD5 21681639496a2488477c241c0d44aad4
BLAKE2b-256 f8b57a0117d65603ec199bc62d75e84b19f551fc8a202757acc9bdd591dc652e

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for PyBoolector-3.2.2.20230105.2-cp39-cp39-manylinux_2_12_x86_64.manylinux2010_x86_64.whl
Algorithm Hash digest
SHA256 6a89fd9972d995c133180a8ed06ce159fdd5b85e802a1aa3ad14c4974f884efd
MD5 9543d8fc39fd138c39987b93a59cbc52
BLAKE2b-256 bfb14d85c0ab69142767621583091257f3a4e1ee374b83ad3ca7b4a4174852df

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for PyBoolector-3.2.2.20230105.2-cp38-cp38-manylinux_2_17_ppc64le.manylinux2014_ppc64le.whl
Algorithm Hash digest
SHA256 c8221c4215456c1dfe3bd0d9f9d7c98e905882b2e029b26b39460f9228e6a0aa
MD5 ddde001f3675d470974b48e8641dcd5e
BLAKE2b-256 b5231e532b9e5eb7565c73cd058597691d20790ba98f076e5bfe9031c0019be3

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for PyBoolector-3.2.2.20230105.2-cp38-cp38-manylinux_2_12_x86_64.manylinux2010_x86_64.whl
Algorithm Hash digest
SHA256 65df3dd3ce777f9c4ef8817813e2062382df76621be40e903b0e111d893526b0
MD5 2f37834477a65171a468309fa1760b8c
BLAKE2b-256 ba2325456e9f1408f37c27207b186ceee71bb04076e35b0050f62d128082d00e

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for PyBoolector-3.2.2.20230105.2-cp37-cp37m-manylinux_2_17_ppc64le.manylinux2014_ppc64le.whl
Algorithm Hash digest
SHA256 242959f6c345c9a589b673785e3b84a5ff04d8e12bd6eab5f979f6b1a4d6c2eb
MD5 f842b384a4480f03717237c1db934007
BLAKE2b-256 c121c21e7d3e4894d5e4d019c037908749e5baaed3e18e74bb3cb2c47bfb7928

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for PyBoolector-3.2.2.20230105.2-cp37-cp37m-manylinux_2_12_x86_64.manylinux2010_x86_64.whl
Algorithm Hash digest
SHA256 636b2e2c8fec26ddc43d602347ca362b1edeba883146cbb6099a999fed02098a
MD5 a69be43cf3a78347bcb1572ffc55479f
BLAKE2b-256 51900d67bebcbbacf4f2c62b54641eed09ec306a57fa00fe76c47512a646043b

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for PyBoolector-3.2.2.20230105.2-cp36-cp36m-manylinux_2_17_ppc64le.manylinux2014_ppc64le.whl
Algorithm Hash digest
SHA256 2c0b9f62d7ff95b6e3bac6e6d3a2be0d322525e17990d2552327076bdf020ee1
MD5 d8630b53df76b72b73bb5ec5dba05c73
BLAKE2b-256 67a7e0faa6a12331fc6afc9905c6479d17460aec89f2341ffc74d94e79ec0f23

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for PyBoolector-3.2.2.20230105.2-cp36-cp36m-manylinux_2_12_x86_64.manylinux2010_x86_64.whl
Algorithm Hash digest
SHA256 d33279049307d333aae7d4f4658ea151c0afcdf9cbf366ec781c24b7717f56b5
MD5 1b75503bfed703125c94b74016c5c077
BLAKE2b-256 f76bb35dcb1edb80a86883457c298378aa90555343fd0beff1085664cbce4e50

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