togatoga/screwsat

A simple CDCL(Conflict-Driven-Clause-Learning) SAT solver in Rust.

语言：Rust · GitHub 星标：39 · Fork：3

话题：competitive-programming · math · rust · sat · sat-solver

在 GitHub 上查看原仓库