togatoga/togasat

A Header-Only CDCL SAT Solver for Programming Contest

语言：C++ · GitHub 星标：77 · Fork：11

话题：competitive-programming · cpp · header-only · minisat · programming-contests · sat-solver

在 GitHub 上查看原仓库