Factual package intelligence from PyPI
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.
pip install linsatnet
PyPI declares 1 unique dependency rule for this release. Environment markers are shown when supplied by the project.
>=1.0.0LinSATNet publishes 1 wheel and 1 source archive for version 0.1.3. Wheel platform tags: any.
No version-specific Python classifiers are declared.
PyPI does not currently declare: Python requirement. PyDeps marks these fields as unknown instead of guessing values.
PyPI lists 13 releases with files. The first dated release is ; 13 releases fall within the 365 days preceding the latest dated release. The current release files were uploaded on . The preceding dated release was .