/ersatz

A simple, small, work in progress SAT-solver, written in ANSI C

Primary LanguageCMIT LicenseMIT

Stargazers