Skip to main content

Python inteface for Automated Reasoning (AR) solvers, provers, and checkers.

Project description

The author of this package has not provided a project description

Project details


Download files

Download the file for your platform. If you're not sure which to choose, learn more about installing packages.

Source Distribution

solverpy-1.7.0.tar.gz (40.2 kB view details)

Uploaded Source

Built Distribution

solverpy-1.7.0-py3-none-any.whl (57.5 kB view details)

Uploaded Python 3

File details

Details for the file solverpy-1.7.0.tar.gz.

File metadata

  • Download URL: solverpy-1.7.0.tar.gz
  • Upload date:
  • Size: 40.2 kB
  • Tags: Source
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/5.1.1 CPython/3.12.4

File hashes

Hashes for solverpy-1.7.0.tar.gz
Algorithm Hash digest
SHA256 0d839122d27260f340226d487612ebad965815092b04e3f0626fffc3003c4327
MD5 5a1e5c99b451a57d693c45ac8e11985b
BLAKE2b-256 b58397b54043bc866eaf06dfaac750d193babd9e1c8f6f5778c044cca2aa078c

See more details on using hashes here.

File details

Details for the file solverpy-1.7.0-py3-none-any.whl.

File metadata

  • Download URL: solverpy-1.7.0-py3-none-any.whl
  • Upload date:
  • Size: 57.5 kB
  • Tags: Python 3
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/5.1.1 CPython/3.12.4

File hashes

Hashes for solverpy-1.7.0-py3-none-any.whl
Algorithm Hash digest
SHA256 25df1060db0e35bb98b0fb1ddcfee8ed19c784565ca2edc2c5b29fd905080087
MD5 b7ce56c818bc108928ff10c31c1f81ff
BLAKE2b-256 220fe4ee16ab30c71dd26df62c0bdc3ab099e4d294ba4208ba14fba63faee809

See more details on using hashes here.

Supported by

AWS AWS Cloud computing and Security Sponsor Datadog Datadog Monitoring Fastly Fastly CDN Google Google Download Analytics Microsoft Microsoft PSF Sponsor Pingdom Pingdom Monitoring Sentry Sentry Error logging StatusPage StatusPage Status page