Provides implementations of some satisfiability algorithms for Propositional formulas.
Primary LanguageTypeScriptMIT LicenseMIT