iliazintchenko/agent-sat

这是一个自主AI代理系统，旨在通过自主学习成为解决加权MaxSAT问题（布尔可满足性问题的优化变体）的世界顶尖专家。它使用AI代理分析SAT实例、测试求解策略、发现更优解法，并持续积累和优化问题解决知识库。