G2SAT

G2SAT: Learning to Generate SAT Formulas

MIT License

Stars
43