LinSATNet
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.
Available in
| Overlay | Newest | Ebuilds | Last activity | |
|---|---|---|---|---|
| pypi GitHub ↗ | 0.1.3 | 1 | 5 mo | details › |
Versions & arches
Use flags of 0.1.3
4 expansion flags (python targets, ABIs, cpu flags…)
- python_targets_python3_11
- python_targets_python3_12
- python_targets_python3_13
- python_targets_python3_14
Runtime dependencies of 0.1.3
show 13 lines
python_targets_python3_11?
(
)
python_targets_python3_12?
(
)
python_targets_python3_13?
(
)
python_targets_python3_14?
(
)