♄ SATyrn: A SAT Solver Toolbox

Travis (.org) PyPI PyPI - License

An interface to SAT solvers.

See Also

Project links

Key dates

PyPI data
Data sourced directly from PyPI's database.
  • Released:
Latest release

1 maintainer

PyPI data
Data sourced directly from PyPI's database.
Avatar for jeffreyh from gravatar.com jeffreyh

Credits

Author: Jeffrey M. Hokanson

License

MIT License (MIT)

Classifiers

Report project as malware

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.

Release history Release notifications | RSS feed

This release

0.3.18 This release

1 file

0.3.17

1 file

0.3.16

1 file

0.3.15

1 file

0.3.14

1 file

0.3.13

1 file

0.3.12

1 file

0.3.11

1 file

0.3.10

1 file

0.3.9

1 file

0.3.8

1 file

0.3.7

1 file

0.3.6

1 file

0.3.5

1 file

0.3.4

1 file

0.3.3

1 file

0.3.2

3 files

0.3.1

1 file

0.3.0

3 files

0.2.1

1 file

0.2.0

2 files

0.1.2

1 file

0.1.1

1 file

0.1

3 files

Anthropic, PBC Visionary sponsor Bloomberg Visionary sponsor Hudson River Trading Visionary sponsor Meta Visionary sponsor NVIDIA Visionary sponsor Microsoft Sustainability sponsor Depot Continuous Integration AWS Cloud computing and Security Sponsor Datadog Monitoring Fastly CDN Google Download Analytics Sentry Error logging StatusPage Status page