semvec/pypi-packages huggingface dataset:
enigma-sat 0.0.3
Enigma SAT-solver.
License: Apache-2.0 license
Requires Python: >=3.9.13

# Enigma
Enigma is a SAT-solver that uses pytorch. It is a experimental SAT-solver with polynomial time-complexity.

## How to install Enigma

Firstly, install pytorch:
> https://pytorch.org/

Secondly, install Enigma:
> pip install enigma-sat

## How to use Enigma

Please see the file:
> documentation/how_to_use_enigma.ipynb