This repository is the official PyTorch Implementation of GLinSAT: The General Linear Satisfiability Neural Network Layer By Accelerated Gradient Descent. You can also download it in the Supplementary Material section via https://openreview.net/attachment?id=m1PVjNHvtP&name=supplementary_material.

🌟 If you find this resource helpful, please consider starting this repository and cite our research:

@article{zeng2024glinsat,
      title={GLinSAT: The General Linear Satisfiability Neural Network Layer By Accelerated Gradient Descent}, 
      author={Hongtai Zeng, Chao Yang, Yanzhen Zhou, Cheng Yang, Qinglai Guo},
      year={2024},
      volume={38},
      journal={Advances in Neural Information Processing Systems}
}