/sat

A simple CDCL sat solver

Primary LanguageRustMozilla Public License 2.0MPL-2.0

Watchers