A DPLL-based SAT solver written in TypeScript, powered by Bun.
Primary LanguageTypeScriptMIT LicenseMIT