Gentoo Packages

Search

Package Information

Description:

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.

Homepage:

https://github.com/Thinklab-SJTU/LinSATNet

License:

MIT

Versions

Metadata

Maintainers

• Markus Walter (gentoo@houseofsuns.org) - Type: person

<pkgmetadata>
	<maintainer type="person">
		<email>gentoo@houseofsuns.org</email>
		<name>Markus Walter</name>
	</maintainer>
</pkgmetadata>

Lint Warnings

• [Warning] Missing md5-cache for version 0.1.3. Run 'ebuild <ebuild_file> manifest' or 'egencache' to generate it.

Manifest