♄ 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

Metadata

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

Release files for satyrn 0.3.18

For a detailed explanation of source distributions (sdists) and built distributions (wheels), please see the package formats documentation.

Source distribution (sdist)

Source distribution for satyrn 0.3.18
File Size Uploaded
satyrn-0.3.18.tar.gz 182.1 kB Details

Release files / satyrn-0.3.18.tar.gz

Download URL satyrn-0.3.18.tar.gz
Size 182.1 kB
Tags Source
SHA-256 checksum
How to use checksums 		72ed2927be564972b0c721044c430b18650d7a8a352ac27ff132fd955b96ad0b
BLAKE2b-256 checksum
How to use checksums 		722db5fd4e4352dbfa696aece4230c885723612ef3d09eb03fb8385c62a5b3b5
Upload date
Uploaded using Trusted Publishing?
What is 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

Release history Release notifications | RSS feed

This release

0.3.18 This release

1 release file

0.3.17

1 release file

0.3.16

1 release file

0.3.15

1 release file

0.3.14

1 release file

0.3.13

1 release file

0.3.12

1 release file

0.3.11

1 release file

0.3.10

1 release file

0.3.9

1 release file

0.3.8

1 release file

0.3.7

1 release file

0.3.6

1 release file

0.3.5

1 release file

0.3.4

1 release file

0.3.3

1 release file

0.3.2

3 release files

0.3.1

1 release file

0.3.0

3 release files

0.2.1

1 release file

0.2.0

2 release files

0.1.2

1 release file

0.1.1

1 release file

0.1

3 release 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