iliazintchenko/agent-sat

Agent learns to become the worlds top expert on SAT

语言：Python · GitHub 星标：182 · Fork：7

话题：boolean-satisfiability · boolean-satisfiability-problem · sat-solver

在 GitHub 上查看原仓库