Thinklab-SJTU/LinSATNet

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

语言：Python · GitHub 星标：94 · Fork：4

在 GitHub 上查看原仓库