SAT Solver Interface

Navigation

Verified details

These details have been verified by PyPI
Maintainers
Avatar for jeffreyh from gravatar.com jeffreyh

Unverified details

These details have not been verified by PyPI
Project links
Meta
Classifiers
Report project as malware

Project description

♄ SATyrn: A SAT Solver Toolbox

Travis (.org) PyPI PyPI - License

An interface to SAT solvers.

See Also

Project details

Verified details

These details have been verified by PyPI
Maintainers
Avatar for jeffreyh from gravatar.com jeffreyh

Unverified details

These details have not been verified by PyPI
Project links
Meta
Classifiers

Release history Release notifications | RSS feed

This version

0.3.18

0.3.17

0.3.16

0.3.15

0.3.14

0.3.13

0.3.12

0.3.11

0.3.10

0.3.9

0.3.8

0.3.7

0.3.6

0.3.5

0.3.4

0.3.3

0.3.2

0.3.1

0.3.0

0.2.1

0.2.0

0.1.2

0.1.1

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

satyrn-0.3.18.tar.gz (182.1 kB view details)

Uploaded Source

File details

Details for the file satyrn-0.3.18.tar.gz.

File metadata

  • Download URL: satyrn-0.3.18.tar.gz
  • Upload date:
  • Size: 182.1 kB
  • Tags: Source
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/1.13.0 pkginfo/1.5.0.1 requests/2.22.0 setuptools/41.0.1 requests-toolbelt/0.9.1 tqdm/4.31.1 CPython/3.7.3

File hashes

Hashes for satyrn-0.3.18.tar.gz
Algorithm Hash digest
SHA256 72ed2927be564972b0c721044c430b18650d7a8a352ac27ff132fd955b96ad0b
MD5 9d6285695bd63542a35a6fdc96ea12e7
BLAKE2b-256 722db5fd4e4352dbfa696aece4230c885723612ef3d09eb03fb8385c62a5b3b5

See more details on using hashes here.

Supported by

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