Metadata-Version: 2.1
Name: eznf
Version: 0.43.2
Summary: A prototype library to prototype SAT encodings
Author: Bernardo Subercaseaux
Author-email: Bernardo Subercaseaux <bernardosubercaseaux@gmail.com>
Project-URL: Homepage, https://github.com/bsubercaseaux/eznf
Classifier: Programming Language :: Python :: 3
Classifier: License :: OSI Approved :: MIT License
Classifier: Operating System :: OS Independent
Requires-Python: >=3.6
Description-Content-Type: text/markdown
License-File: LICENSE

# 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:

```python
import modeler

Z = modeler.Modeler()
```

Then, we will use the `Z` modeler variable to *model* the problem.

For example, we can use
```python
Z.add_var(f'v_{i}', f'vertex {i} is selected for the CLIQUE')
```

