A Python tool that implements Lovasz Local Lemma's application on The Boolean Satisfiability (SAT) problem, which includes an instance geneartor,an algorithm (decision procedure), which decide that if a SAT instance satisfies in local lemma regime, and a solver can find solution or sample a uniform random solution in the local lemma regime.
Project description
The author of this package has not provided a project description
Release history Release notifications | RSS feed
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
satlll-0.1.0.tar.gz
(4.3 kB
view details)
Built Distribution
File details
Details for the file satlll-0.1.0.tar.gz.
File metadata
- Download URL: satlll-0.1.0.tar.gz
- Upload date:
- Size: 4.3 kB
- Tags: Source
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/4.0.2 CPython/3.9.12
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 | 9ce61c461c0ad929af9b0f561be233c2a7e6edeaa73a6bb17caa344f58d50be7 |
|
| MD5 | ab1b467643f8a23cd95462aee17b3243 |
|
| BLAKE2b-256 | b99d4d82e52fa42411d7742fb52351ff6cc8edd46979c5e8bcfaf9334dc63166 |
File details
Details for the file satlll-0.1.0-py3-none-any.whl.
File metadata
- Download URL: satlll-0.1.0-py3-none-any.whl
- Upload date:
- Size: 7.1 kB
- Tags: Python 3
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/4.0.2 CPython/3.9.12
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 | 0dc161203836d0b1ce1afa280ac225e801330bb924bf455e2c4fef87bba6b7e3 |
|
| MD5 | 48d0a974769f3cd7d88b32a397bff743 |
|
| BLAKE2b-256 | 3053058e2c61fdd0041d36d2ea5be706d76458e9b31b2b02b852862a74ed8c6b |
