A tool that tests correctness performance of heuristic algorithms for SAT problem.

Navigation

Verified details

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

Unverified details

These details have not been verified by PyPI
Project links
Meta

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 infal from gravatar.com infal

Unverified details

These details have not been verified by PyPI
Project links
Meta

Release history Release notifications | RSS feed

This version

0.0.4

0.0.3

Download files

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

Source Distribution

sat-heuristic-validator-0.0.4.tar.gz (4.4 kB view details)

Uploaded Source

File details

Details for the file sat-heuristic-validator-0.0.4.tar.gz.

File metadata

File hashes

Hashes for sat-heuristic-validator-0.0.4.tar.gz
Algorithm Hash digest
SHA256 1ff216b93c86fa502ea6f32eea9a0808642adc043c860f3b67b3400893b58998
MD5 183a79e8be0636db80c4920e398c7703
BLAKE2b-256 b7b16c65727cb13c121fd3a7e26796bddd5cea81d120fea866e8b931a4b6bb07

See more details on using hashes here.

Supported by

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