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

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

This version

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.20200711.3.tar.gz (20.2 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.20200711.3-cp38-cp38-manylinux1_x86_64.whl (1.8 MB view details)

Uploaded CPython 3.8

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

Uploaded CPython 3.7m

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

Uploaded CPython 3.6m

PyBoolector-3.2.1.20200711.3-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.20200711.3.tar.gz.

File metadata

  • Download URL: PyBoolector-3.2.1.20200711.3.tar.gz
  • Upload date:
  • Size: 20.2 kB
  • Tags: Source
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/3.2.0 pkginfo/1.5.0.1 requests/2.24.0 setuptools/49.1.2 requests-toolbelt/0.9.1 tqdm/4.47.0 CPython/3.6.9

File hashes

Hashes for PyBoolector-3.2.1.20200711.3.tar.gz
Algorithm Hash digest
SHA256 b707a2291c233a10e23a92009c90f1800b681104ae7e9f2d1451490a6bc8de30
MD5 e4f28035adfb20bce84809d7dd60d30f
BLAKE2b-256 56e475dac36c3ae08ca7859af8b00cf879e4e1d6a2328d22d5c95195bfee4633

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for PyBoolector-3.2.1.20200711.3-cp38-cp38-manylinux1_x86_64.whl
Algorithm Hash digest
SHA256 0941176487f31a13d568c73adb3373076d23a32f7cbb6aa58713a41103489b05
MD5 034abbad508d9af499a04001c488b3c8
BLAKE2b-256 41e18cbf68274c921501482e4d10d7c3098cd6135023fa69d551c9c85c5cbc66

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for PyBoolector-3.2.1.20200711.3-cp37-cp37m-manylinux1_x86_64.whl
Algorithm Hash digest
SHA256 b13f17a2a0b371f1d1798bc25dc5517ff706c46d063d9b8b71e562d727214855
MD5 c42b11fecf9cd593fcdf20d6a865d8c2
BLAKE2b-256 20ba24a600fedb72a65fd9fa1a333a5edc68d47e4228bcdbcd1d80f49a0eff57

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for PyBoolector-3.2.1.20200711.3-cp36-cp36m-manylinux1_x86_64.whl
Algorithm Hash digest
SHA256 3b1a2b17bb164ff8062a1cfc7fff6f45f72ffff641ef864f09094de75e95e38f
MD5 dd5743aa96339fe71ad2a5e1ee1ff9be
BLAKE2b-256 815fd4a0ead5a8abe2a4e04efbe2878b3380969419192c2f8b02bb54d1cffd69

See more details on using hashes here.

File details

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

File metadata

File hashes

Hashes for PyBoolector-3.2.1.20200711.3-cp35-cp35m-manylinux1_x86_64.whl
Algorithm Hash digest
SHA256 722e7defa9ca8262015b82724f35434e0273d025392542fb2c0e8d57bd9c24e9
MD5 bdb85753b81a8d4c5bdda3645940c401
BLAKE2b-256 a2629b3a3781333996a05451c3f04c26eb6033bdbeed12fdfa98a7d90775ed8f

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