/sat-bench

A small repo to test and benchmark different sat solvers

Primary LanguageOCamlMIT LicenseMIT

Stargazers