Thinklab-SJTU / LinSATNet

Official implementation of our ICML 2023 paper "LinSATNet: The Positive Linear Satisfiability Neural Networks".

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Thinklab-SJTU/LinSATNet Stargazers