SAT-X The constraint modeling language for SAT solvers

Navigation

Verified details

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

Unverified details

These details have not been verified by PyPI
Project links
Meta
  • License: MIT
  • Author: Oscar Riveros
Report project as malware

Project description

The author of this package has not provided a project description

Project details

Verified details

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

Unverified details

These details have not been verified by PyPI
Project links
Meta
  • License: MIT
  • Author: Oscar Riveros

Release history Release notifications | RSS feed

This version

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

0.2.2

0.2.1

0.2.0

0.1.8

0.1.7

0.1.6

0.1.5

0.1.4

0.1.3

0.1.2

0.1.1

0.1.0

0.0.9

0.0.8

0.0.7

0.0.6

0.0.5

0.0.4

0.0.2

0.0.1

0.0.0

Download files

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

Source Distribution

SATX-0.3.8.tar.gz (16.0 kB view details)

Uploaded Source

File details

Details for the file SATX-0.3.8.tar.gz.

File metadata

  • Download URL: SATX-0.3.8.tar.gz
  • Upload date:
  • Size: 16.0 kB
  • Tags: Source
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/4.0.1 CPython/3.10.5

File hashes

Hashes for SATX-0.3.8.tar.gz
Algorithm Hash digest
SHA256 e5ec322ade0a202e3193e0686bfdeb3c9c34300ff4095c54e3aaf4a0e16af1ec
MD5 ecb6bab76a5a79b6faa1a3379adc4114
BLAKE2b-256 df1539a236d322c71ddac5f9a62ff6d33b3ccb37258647ff487314d5d1839cfa

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