| LinSATNet offers a neural network layer to enforce the satisfiability of positive linear constraints to the output of neural networks. The gradient through the layer is exactly computed. This package now works with PyTorch. | |
| https://github.com/Thinklab-SJTU/LinSATNet | |
| linsatnet-0.0.9 | MIT |
| download~amd64 ~x86 | pypi |