Thinklab-SJTU / LinSATNet

Official implementation of our ICML 2023 paper "LinSATNet: The Positive Linear Satisfiability Neural Networks".
59Updated 9 months ago

Alternatives and similar repositories for LinSATNet:

Users that are interested in LinSATNet are comparing it to the libraries listed below