git clone https://github.com/pylon-lib/pylon.git cd pylon python3 -m pip install --upgrade pip pip install flake8 pytest pip install -r requirements.txt Make sure to install PyTorch:https://pytorch.org Basic Example Our goal is to enforce the XOR constraint on the output of a simple ...
from pylon.brute_force_solver import SatisfactionBruteForceSolver # Our constraint function accepts a decoding tensor of # shape (batch_size, ...) and is expected to return # a tensor fo shape (batch_size, ) def xor(y): return y[0] != y[1] and y[1] != y[2] return y[:, 0]...
Ok, my assumption was thatgentlis not a dependency ofpylonsrcso I can skip building it. Thus, I comment outline 17 of this CMakeLists.txt fileto skip buildinggentlall together. Then I had to modifiedline 131 of this CMakeLists.txt filefromset(_PREFIX "/usr/lib")toset(_PREFIX "/usr...
git clone https://github.com/pylon-lib/pylon.git cd pylon python3 -m pip install --upgrade pip pip install flake8 pytest pip install -r requirements.txt Make sure to install PyTorch:https://pytorch.org Basic Example Our goal is to enforce the XOR constraint on the output of a simple ...