A Circuit SAT Language that emit CNF code.

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

0.0.5

0.0.4

0.0.3

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

CircuitSAT-0.0.6.tar.gz (26.8 kB view details)

Uploaded Source

File details

Details for the file CircuitSAT-0.0.6.tar.gz.

File metadata

  • Download URL: CircuitSAT-0.0.6.tar.gz
  • Upload date:
  • Size: 26.8 kB
  • Tags: Source
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/4.0.1 CPython/3.7.9

File hashes

Hashes for CircuitSAT-0.0.6.tar.gz
Algorithm Hash digest
SHA256 d50118b6b7390f2af991b6ca9f96334a6de719c86642172eba0262ee93a7a391
MD5 4a021c0ccc8cca7d0ed3b62e964cdd44
BLAKE2b-256 75f9c83291dd219c9784589129a52ad8d53d212314e5d5fcbe75cc27100672c8

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