Thinklab-SJTU / LinSATNet

Official implementation of our ICML 2023 paper "LinSATNet: The Positive Linear Satisfiability Neural Networks".
MIT License
47 stars 3 forks source link