This library is designed to speed-up prototyping encodings, especiall for combinatorial problems.
The main abstraction of the library is the so-called modeler.
Therefore we will always start with:
import modeler
Z = modeler.Modeler()
Then, we will use the Z modeler variable to model the problem.
For example, we can use
Z.add_var(f'v_{i}', f'vertex {i} is selected for the CLIQUE')
python3 -m pytest
FAQs
A prototype library to prototype SAT encodings
We found that eznf demonstrated a healthy version release cadence and project activity because the last version was released less than a year ago. It has 1 open source maintainer collaborating on the project.
Did you know?
Socket for GitHub automatically highlights issues in each pull request and monitors the health of all your open source dependencies. Discover the contents of your packages and block harmful activity before you install or update your dependencies.
Security News
Research
The Socket Research Team breaks down a malicious wrapper package that uses obfuscation to harvest credentials and exfiltrate sensitive data.
Research
Security News
Attackers used a malicious npm package typosquatting a popular ESLint plugin to steal sensitive data, execute commands, and exploit developer systems.
Security News
The Ultralytics' PyPI Package was compromised four times in one weekend through GitHub Actions cache poisoning and failure to rotate previously compromised API tokens.