eznf 0.62.2

A prototype library to prototype SAT encodings

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')

Tests

python3 -m pytest