A prototype library to prototype SAT encodings
Project description
EZNF
This library is designed to speed-up prototyping encodings, especiall for combinatorial problems.
Modeler
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')
Project details
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
eznf-0.33.2.tar.gz
(12.1 kB
view hashes)
Built Distribution
eznf-0.33.2-py3-none-any.whl
(12.1 kB
view hashes)