Autoresearch for SAT Solvershttps://github.com/iliazintchenko/agent-sat by chaisan • 4 months ago 3 1 4 months agoGIgithub.com