GitHub repository: make-github-pseudonymous-again/js-sat
Primary language: JavaScript
Description: :satisfied: Boolean formula satisfiability algorithms for JavaScript