/togasat

A Header-Only CDCL SAT Solver for Programming Contest

Primary LanguageC++MIT LicenseMIT

Watchers