LinSATNet

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

Stars

33

Forks

2

Language

Python

Last Updated

May 21, 2024

Similar Repos