Latest version: v0.1.3
The information on this page was curated by experts in our Cybersecurity Intelligence Team.
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.
No known vulnerabilities found
Has known vulnerabilities