/solver

Primary LanguageJavaScriptMIT LicenseMIT

build-status test-coverage

Set of Theorem Solver Algorithms (WIP)